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 (35 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: 235
Authors: Rohit Gheyi
Categories: Computers
Type: BOOK - Published: 2012-09-17 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-locate
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
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