FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

List of contents

Automated circular assume-guarantee reasoning.- Towards formal verification of orchestration computations using the K framework.- Narrowing operators on template abstract domains.

Product details

• Assisted by: Nikola Bjørner (Editor), Nikolaj Bjørner (Editor), Frank de Boer (Editor), de Boer (Editor), de Boer (Editor), Frank de Boer (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.01.2015
• EAN: 9783319192482
• ISBN: 978-3-31-919248-2
• No. of pages: 610
• Dimensions: 158 mm x 34 mm x 238 mm
• Weight: 937 g
• Illustrations: XVI, 610 p. 156 illus.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering; Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, Wirtschaftsmathematik und -informatik, IT-Management, Theoretische Informatik, computer science, Theory of Computation, Logics and Meanings of Programs, Management of Computing and Information Systems, IT Operations, Computers, Maintenance & repairs, information architecture, Management information systems, Mathematical theory of computation, Computer programming / software engineering, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Computer logic, Computation by Abstract Devices, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory