FM 2015: Formal Methods [E-Book] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / edited by Nikolaj Bjørner, Frank de Boer.
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 di...
Saved in:
Full text |
|
Personal Name(s): | Bjørner, Nikolaj. editor |
de Boer, Frank. editor | |
Imprint: |
Cham :
Springer,
2015
|
Physical Description: |
XVI, 610 p. 156 illus. online resource. |
Note: |
englisch |
ISBN: |
9783319192499 |
DOI: |
10.1007/978-3-319-19249-9 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture notes in computer science ;
9109 |
Subject (LOC): |
- Automated circular assume-guarantee reasoning
- Towards formal verification of orchestration computations using the K framework
- Narrowing operators on template abstract domains.