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

Validity Checking of Putback Transformations in Bidirectional Programming

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_1 ◽

2014 ◽

pp. 1-15 ◽

Author(s):

Zhenjiang Hu ◽

Hugo Pacheco ◽

Sebastian Fischer

Download Full-text

Automated Real Proving in PVS via MetiTarski

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_14 ◽

2014 ◽

pp. 194-199 ◽

Author(s):

William Denman ◽

César Muñoz

Download Full-text

Verification of a Transactional Memory Manager under Hardware Failures and Restarts

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_31 ◽

2014 ◽

pp. 449-464 ◽

Author(s):

Ognjen Marić ◽

Christoph Sprenger

Keyword(s):

Transactional Memory ◽

Hardware Failures

Download Full-text

The VerCors Tool for Verification of Concurrent Programs

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_9 ◽

2014 ◽

pp. 127-131 ◽

Author(s):

Stefan Blom ◽

Marieke Huisman

Keyword(s):

Concurrent Programs

Download Full-text

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

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_5 ◽

2014 ◽

pp. 62-77 ◽

Author(s):

Pedro Antonino ◽

Augusto Sampaio ◽

Jim Woodcock

Keyword(s):

Deadlock Analysis

Download Full-text

Formally Verifying Graphics FPU

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_45 ◽

2014 ◽

pp. 673-687

Author(s):

Aarti Gupta ◽

M. V. Achutha KiranKumar ◽

Rajnish Ghughal

Download Full-text

Co-induction Simply

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_27 ◽

2014 ◽

pp. 382-398 ◽

Author(s):

K. Rustan M. Leino ◽

Michał Moskal

Download Full-text

Revisiting Compatibility of Input-Output Modal Transition Systems

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_26 ◽

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

Download Full-text

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

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_23 ◽

2014 ◽

pp. 318-334 ◽

Author(s):

Ian J. Hayes ◽

Larissa Meinicke

Keyword(s):

Real Time ◽

Program Algebra

Download Full-text

Knowledge-Based Automated Repair of Authentication Protocols

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_10 ◽

2014 ◽

pp. 132-147 ◽

Author(s):

Borzoo Bonakdarpour ◽

Reza Hajisheykhi ◽

Sandeep S. Kulkarni

Keyword(s):

Authentication Protocols ◽

Knowledge Based

Download Full-text