Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10510)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): IFM: International Conference on Integrated Formal Methods
Conference proceedings info: IFM 2017.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (28 papers)
-
Front Matter
-
Cyber-Physical Systems
-
Front Matter
-
-
Safety-Critical Systems
-
Front Matter
-
-
Concurrency and Distributed Systems
-
Front Matter
-
About this book
The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..
Keywords
- artificial intelligence
- computer software selection and evaluation
- data security
- formal logic
- formal methods
- formal verifications
- java
- model checking
- network security
- problem solving
- program compilers
- programming languages
- robotics
- robots
- satisfiability
- semantics
- software engineering
- specifications
- theorem proving
- verification
Editors and Affiliations
-
Massachusetts Institute of Technology, Cambridge, USA
Nadia Polikarpova
-
University of Surrey, Guildford, United Kingdom
Steve Schneider
Bibliographic Information
Book Title: Integrated Formal Methods
Book Subtitle: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Editors: Nadia Polikarpova, Steve Schneider
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-66845-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2017
Softcover ISBN: 978-3-319-66844-4Published: 27 August 2017
eBook ISBN: 978-3-319-66845-1Published: 11 September 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXI, 438
Number of Illustrations: 109 b/w illustrations
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Theory of Computation, Computer Systems Organization and Communication Networks, Artificial Intelligence, The Computing Profession