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

TOTAL DOCUMENTS

53
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642050886, 9783642050893
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Robust Semantics Hides Fewer Errors

2009 ◽  
pp. 499-515 ◽  
Author(s):  
Steve Reeves ◽  
David Streader

Formal Specification of a Cardiac Pacing System

2009 ◽  
pp. 692-707 ◽  
Author(s):  
Artur Oliveira Gomes ◽  
Marcel Vinícius Medeiros Oliveira
Keyword(s):  
Formal Specification ◽  
Cardiac Pacing

Connecting UML and VDM++ with Open Tool Support

2009 ◽  
pp. 563-578 ◽  
Author(s):  
Kenneth Lausdahl ◽  
Hans Kristian Agerlund Lintrup ◽  
Peter Gorm Larsen
Keyword(s):  
Tool Support

Specification and Verification of Web Applications in Rewriting Logic

2009 ◽  
pp. 790-805 ◽  
Author(s):  
María Alpuente ◽  
Demis Ballis ◽  
Daniel Romero
Keyword(s):  
Web Applications ◽  
Rewriting Logic ◽  
Specification And Verification

A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition

2009 ◽  
pp. 173-189 ◽  
Author(s):  
Ralph Jeffords ◽  
Constance Heitmeyer ◽  
Myla Archer ◽  
Elizabeth Leonard
Keyword(s):  
Formal Method ◽  
Fault Tolerant ◽  
Fault Tolerant Systems

scholarly journals An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method

2009 ◽  
pp. 757-772 ◽  
Author(s):  
Danhua Shao ◽  
Sarfraz Khurshid ◽  
Dewayne E. Perry
Keyword(s):  
Formal Method ◽  
Incremental Approach

scholarly journals What Can Formal Methods Bring to Systems Biology?

2009 ◽  
pp. 16-22 ◽  
Author(s):  
Nicola Bonzanni ◽  
K. Anton Feenstra ◽  
Wan Fokkink ◽  
Elzbieta Krepska
Keyword(s):  
Systems Biology ◽  
Formal Methods

scholarly journals Fair Model Checking with Process Counter Abstraction

2009 ◽  
pp. 123-139 ◽  
Author(s):  
Jun Sun ◽  
Yang Liu ◽  
Abhik Roychoudhury ◽  
Shanshan Liu ◽  
Jin Song Dong
Keyword(s):  
Model Checking

Reduced Execution Semantics of MPI: From Theory to Practice

2009 ◽  
pp. 724-740 ◽  
Author(s):  
Sarvani Vakkalanka ◽  
Anh Vo ◽  
Ganesh Gopalakrishnan ◽  
Robert M. Kirby
Keyword(s):  
Theory To Practice ◽  
Execution Semantics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document