Normal view MARC view ISBD view

FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / Nikolaj Bjørner, Frank de Boer (eds.). - 1 online resource (xvi, 610 pages) : illustrations - Lecture Notes in Computer Science, 9109 0302-9743 ; LNCS sublibrary. SL 2, Programming and software engineering . - Lecture notes in computer science ; 9109. LNCS sublibrary. SL 2, Programming and software engineering. .

International conference proceedings. Includes author index.

Includes bibliographical references and author index.

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

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.

ISBN: 9783319192499 3319192493 3319192485 9783319192482

Standard No.: 10.1007/978-3-319-19249-9 doi

Source: Springer

Subjects--Topical Terms:
Formal methods (Computer science)--Congresses.
Méthodes formelles (Informatique)--Congrès.
Formal methods (Computer science)

Index Terms--Genre/Form:
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.

LC Class. No.: QA76.9.F67 / I58 2015eb

Dewey Class. No.: 004.01/51