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.

Table des matières

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

Détails du produit

• Collaboration: Nikola Bjørner (Editeur), Nikolaj Bjørner (Editeur), Frank de Boer (Editeur), de Boer (Editeur), de Boer (Editeur), Frank de Boer (Editeur)
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 01.01.2015
• EAN: 9783319192482
• ISBN: 978-3-31-919248-2
• Pages: 610
• Dimensions: 158 mm x 34 mm x 238 mm
• Poids: 937 g
• Illustrations: XVI, 610 p. 156 illus.
• Thèmes: Lecture Notes in Computer Science; Programming and Software Engineering; Lecture Notes in Computer Science; Programming and Software Engineering
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique; 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