Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9109)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: FM 2015.
Buy print copy
About this book
Similar content being viewed by others
Keywords
- Algorithms
- Automata
- Biological systems
- Computer networks
- Concurrency
- Constraint programming
- Expert system
- Formal verification
- Global optimization
- Hybrid system
- Model checking
- Petri nets
- Recovery
- Safety critical system
- Scheduling
- Semantics
- Software development
- Software verification
- Theorem proving algorithms
- Trusted systems
Table of contents (43 papers)
-
Main Track
Other volumes
-
FM 2015: Formal Methods
Editors and Affiliations
Bibliographic Information
Book Title: FM 2015: Formal Methods
Book Subtitle: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Editors: Nikolaj Bjørner, Frank de Boer
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-19249-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-19248-2Published: 02 June 2015
eBook ISBN: 978-3-319-19249-9Published: 23 May 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 610
Number of Illustrations: 156 b/w illustrations
Topics: Software Engineering, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Management of Computing and Information Systems, Computation by Abstract Devices