Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings > Proof Patterns for Formal Methods
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings |
Cliff Jones; Pekka Pihlajasaari; Jun Sun
Springer International Publishing
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Proof Patterns for Formal Methods
Authors

Leo Freitas; Iain Whiteside

ARI Id

1664700198117_2791005

Access

Not Available Free

Pages

279-295

DOI

10.1007/978-3-319-06410-9_20

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-06410-9_20

Table of Contents of Book
Showing 1 to 20 of 51 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Validity Checking of Putback Transformations in Bidirectional Programming
Zhenjiang Hu; Hugo Pacheco; Sebastian Fischer
1-15
Proof Engineering Considered Essential
Gerwin Klein
16-21
Engineering UToPiA
Jim Woodcock
22-41
40 Years of Formal Methods
Dines Bjørner; Klaus Havelund
42-61
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes
Pedro Antonino; Augusto Sampaio; Jim Woodcock
62-77
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools
Alasdair Armstrong; Victor B. F. Gomes; Georg Struth
78-93
Definition, Semantics, and Analysis of Multirate Synchronous AADL
Kyungmin Bae; Peter Csaba Ölveczky; José Meseguer
94-109
TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms
Guangdong Bai; Jianan Hao; Jianliang Wu; Yang Liu; Zhenkai Liang; Andrew Martin
110-126
The VerCors Tool for Verification of Concurrent Programs
Stefan Blom; Marieke Huisman
127-131
Knowledge-Based Automated Repair of Authentication Protocols
Borzoo Bonakdarpour; Reza Hajisheykhi; Sandeep S. Kulkarni
132-147
A Simplified Z Semantics for Presentation Interaction Models
Judy Bowen; Steve Reeves
148-162
Log Analysis for Data Protection Accountability
Denis Butin; Daniel Le Métayer
163-178
Automatic Compositional Synthesis of Distributed Systems
Werner Damm; Bernd Finkbeiner
179-193
Automated Real Proving in PVS via MetiTarski
William Denman; César Muñoz
194-199
Quiescent Consistency: Defining and Verifying Relaxed Linearizability
John Derrick; Brijesh Dongol; Gerhard Schellhorn; Bogdan Tofan; Oleg Travkin; Heike Wehrheim
200-214
Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol
Parasara Sridhar Duggirala; Le Wang; Sayan Mitra; Mahesh Viswanathan; César Muñoz
215-229
Contracts in Practice
H. -Christian Estler; Carlo A. Furia; Martin Nordio; Marco Piccioni; Bertrand Meyer
230-246
When Equivalence and Bisimulation Join Forces in Probabilistic Automata
Yuan Feng; Lijun Zhang
247-262
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Vojtěch Forejt; Daniel Kroening; Ganesh Narayanaswamy; Subodh Sharma
263-278
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 51 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings