Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10090)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: SBMF 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (14 papers)
-
Invited Talks
-
Analysis and Verification
-
Modeling and Logic
Other volumes
-
Formal Methods: Foundations and Applications
Keywords
- automata theory
- concurrent systems
- model checking
- program verification
- timed automata
- business process
- computer-aided education
- e-learning
- educational robotics
- formal methods
- heuristics
- logic
- model refinement
- modeling and simulation
- rewriting logic
- semantics
- software creation and management
- software validation
- theory of security
- UML
About this book
The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods: Foundations and Applications
Book Subtitle: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Editors: Leila Ribeiro, Thierry Lecomte
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-49815-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2016
Softcover ISBN: 978-3-319-49814-0Published: 13 November 2016
eBook ISBN: 978-3-319-49815-7Published: 12 November 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 253
Number of Illustrations: 62 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Simulation and Modeling, Management of Computing and Information Systems, Mathematical Logic and Formal Languages