ENGLISH

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

By Márcio Cornélio , Bill Roscoe (eds.)

Book information

Publisher
Springer International Publishing
Year
2016
ISBN
978-3-319-29472-8, 978-3-319-29473-5
DOI
10.1007/978-3-319-29473-5
Language
english
Format
PDF
Filesize
15 MB (15673255 bytes)
Series
Lecture Notes in Computer Science 9526
Edition
1
Pages
XVIII, 195\203
Time added
2016-03-14 21:35:01
CompilersInterpreters; Management of Computing and InformatSoftware Engineering; Logics and Meanings of Progr

Description

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.

Similar books