Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings: 14414 - Brossura

Brossura

ISBN 10: 3031493419 ISBN 13: 9783031493416

Casa editrice: Springer, 2023

Riassunto

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.
The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.

The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.

Su questo libro

Dalla quarta di copertina

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2023
• Lingua: Inglese
• ISBN 10: 3031493419
• ISBN 13: 9783031493416
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 175
• Redattore: Barbosa Haniel, Zohar Yoni
• Contatto del produttore: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Germania