Lecture Notes in Computer Science - FM 2014: Formal Methods
Latest Publications

TOTAL DOCUMENTS

49
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer International Publishing

9783319064093, 9783319064109
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals The VerCors Tool for Verification of Concurrent Programs

2014 ◽  
pp. 127-131 ◽  
Author(s):  
Stefan Blom ◽  
Marieke Huisman
Keyword(s):  
Concurrent Programs

A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes

2014 ◽  
pp. 62-77 ◽  
Author(s):  
Pedro Antonino ◽  
Augusto Sampaio ◽  
Jim Woodcock
Keyword(s):  
Deadlock Analysis

Formally Verifying Graphics FPU

2014 ◽  
pp. 673-687
Author(s):  
Aarti Gupta ◽  
M. V. Achutha KiranKumar ◽  
Rajnish Ghughal

Co-induction Simply

2014 ◽  
pp. 382-398 ◽  
Author(s):  
K. Rustan M. Leino ◽  
Michał Moskal

Revisiting Compatibility of Input-Output Modal Transition Systems

2014 ◽  
pp. 367-381 ◽  
Author(s):  
Ivo Krka ◽  
Nicolás D’Ippolito ◽  
Nenad Medvidović ◽  
Sebastián Uchitel
Keyword(s):  
Input Output ◽  
Transition Systems ◽  
Modal Transition Systems

Invariants, Well-Founded Statements and Real-Time Program Algebra

2014 ◽  
pp. 318-334 ◽  
Author(s):  
Ian J. Hayes ◽  
Larissa Meinicke
Keyword(s):  
Real Time ◽  
Program Algebra

Knowledge-Based Automated Repair of Authentication Protocols

2014 ◽  
pp. 132-147 ◽  
Author(s):  
Borzoo Bonakdarpour ◽  
Reza Hajisheykhi ◽  
Sandeep S. Kulkarni
Keyword(s):  
Authentication Protocols ◽  
Knowledge Based

scholarly journals Validity Checking of Putback Transformations in Bidirectional Programming

2014 ◽  
pp. 1-15 ◽  
Author(s):  
Zhenjiang Hu ◽  
Hugo Pacheco ◽  
Sebastian Fischer

scholarly journals Automated Real Proving in PVS via MetiTarski

2014 ◽  
pp. 194-199 ◽  
Author(s):  
William Denman ◽  
César Muñoz
Load More ...
Sign in / Sign up

Export Citation Format

Share Document