Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings > Automatic Compositional Verification of Timed Systems
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings |
Dimitra Giannakopoulou; Dominique Mery
Springer Berlin Heidelberg
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Automatic Compositional Verification of Timed Systems
Authors

Shang-Wei Lin; Yang Liu; Jun Sun; Jin Song Dong; Étienne André

ARI Id

1664853497493_3788005

Access

Not Available Free

Pages

272-276

DOI

10.1007/978-3-642-32759-9_24

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-32759-9_24

Table of Contents of Book
Showing 1 to 20 of 40 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Software Security: A Formal Perspective
Martín Abadi
1-5
Formal Methods in the Wild: Trains, Planes, & Automobile
Asaf Degani
6-6
Who Are We, and What Are We Doing Here?
Alan Wassyng
7-9
Automata Learning through Counterexample Guided Abstraction Refinement
Fides Aarts; Faranak Heidarian; Harco Kuppens; Petur Olsen; Frits Vaandrager
10-27
Julienne: A Trace Slicer for Conditional Rewrite Theories
María Alpuente; Demis Ballis; Francisco Frechina; Daniel Romero
28-32
IMITATOR 2. 5: A Tool for Analyzing Robustness in Scheduling Problems
Étienne André; Laurent Fribourg; Ulrich Kühne; Romain Soulat
33-36
Maximal and Compositional Pattern-Based Loop Invariants
Virginia Aponte; Pierre Courtieu; Yannick Moy; Marc Sango
37-51
A Formal Approach to Autonomous Vehicle Coordination
Mikael Asplund; Atif Manzoor; Mélanie Bouroche; Siobhàn Clarke; Vinny Cahill
52-67
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
Howard Barringer; Yliès Falcone; Klaus Havelund; Giles Reger; David Rydeheard
68-84
Decentralised LTL Monitoring
Andreas Bauer; Yliès Falcone
85-100
Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra
Soufiene Benkirane; Rachel Norman; Erin Scott; Carron Shankland
101-115
A Certified Constraint Solver over Finite Domains
Matthieu Carlier; Catherine Dubois; Arnaud Gotlieb
116-131
Collaborative Verification and Testing with Explicit Assumptions
Maria Christakis; Peter Müller; Valentin Wüstholz
132-146
TLA +  Proofs
Denis Cousineau; Damien Doligez; Leslie Lamport; Stephan Merz; Daniel Ricketts; Hernán Vanzetto
147-154
The Modal Transition System Control Problem
Nicolás D’Ippolito; Victor Braberman; Nir Piterman; Sebastián Uchitel
155-170
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
Julien Dormoy; Olga Kouchnarenko; Arnaud Lanoix
171-186
Error Invariants
Evren Ermis; Martin Schäf; Thomas Wies
187-201
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction
Mathieu Giorgino; Martin Strecker
202-216
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness
James Heather; Steve Schneider
217-231
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 40 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings