Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications
Author :
Publisher : Springer
Total Pages : 203
Release :
ISBN-10 : 9783319294735
ISBN-13 : 3319294733
Rating : 4/5 (733 Downloads)

Book Synopsis Formal Methods: Foundations and Applications by : Márcio Cornélio

Download or read book Formal Methods: Foundations and Applications written by Márcio Cornélio and published by Springer. This book was released on 2016-01-23 with total page 203 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Formal Methods: Foundations and Applications Related Books

Formal Methods: Foundations and Applications
Language: en
Pages: 203
Authors: Márcio Cornélio
Categories: Computers
Type: BOOK - Published: 2016-01-23 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in Sep
Formal Methods: Foundations and Applications
Language: en
Pages: 271
Authors: Tiago Massoni
Categories: Computers
Type: BOOK - Published: 2018-11-19 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2
Formal Methods: Foundations and Applications
Language: en
Pages: 360
Authors: Marcel Vinícius Medeiros Oliveira
Categories: Computers
Type: BOOK - Published: 2009-11-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013
Formal Methods: Foundations and Applications
Language: en
Pages: 149
Authors: Sérgio Campos
Categories: Computers
Type: BOOK - Published: 2021-11-25 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pa
Formal Methods: Foundations and Applications
Language: en
Pages: 308
Authors: Simone Cavalheiro
Categories: Computers
Type: BOOK - Published: 2017-11-17 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/De