Format:
Online-Ressource (XVI, 610 p. 156 illus, online resource)
ISBN:
9783319192499
Series Statement:
Lecture Notes in Computer Science 9109
Content:
Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains.
Content:
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.
Note:
Literaturangaben
,
Automated circular assume-guarantee reasoningTowards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains.
Additional Edition:
ISBN 9783319192482
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-331-91924-8-2
Additional Edition:
Erscheint auch als Druck-Ausgabe FM (20. : 2015 : Oslo) FM 2015: formal methods Cham [u.a.] : Springer, 2015 ISBN 9783319192482
Language:
English
Subjects:
Computer Science
Keywords:
Formale Methode
;
Konferenzschrift
DOI:
10.1007/978-3-319-19249-9
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Author information:
Bjørner, Nikolaj
Bookmarklink