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

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642214363, 9783642214370
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Only Way Is Up

2011 ◽  
pp. 3-11 ◽  
Author(s):  
Jasmin Fisher ◽  
Nir Piterman ◽  
Moshe Y. Vardi

Failure-Divergence Refinement of Compensating Communicating Processes

2011 ◽  
pp. 262-277 ◽  
Author(s):  
Zhenbang Chen ◽  
Zhiming Liu ◽  
Ji Wang
Keyword(s):  
Communicating Processes

Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems

2011 ◽  
pp. 118-132 ◽  
Author(s):  
Anne E. Haxthausen ◽  
Andreas A. Kjær ◽  
Marie Le Bliguet
Keyword(s):  
Formal Development

Sampling-Based Runtime Verification

2011 ◽  
pp. 88-102 ◽  
Author(s):  
Borzoo Bonakdarpour ◽  
Samaneh Navabpour ◽  
Sebastian Fischmeister
Keyword(s):  
Runtime Verification

scholarly journals Using Debuggers to Understand Failed Verification Attempts

2011 ◽  
pp. 73-87 ◽  
Author(s):  
Peter Müller ◽  
Joseph N. Ruskiewicz

scholarly journals System Verification through Program Verification

2011 ◽  
pp. 27-41 ◽  
Author(s):  
Daniel Dietsch ◽  
Bernd Westphal ◽  
Andreas Podelski
Keyword(s):  
Program Verification ◽  
System Verification

Verifying Linearisability with Potential Linearisation Points

2011 ◽  
pp. 323-337 ◽  
Author(s):  
John Derrick ◽  
Gerhard Schellhorn ◽  
Heike Wehrheim

Termination without $\checkmark$ in CSP

2011 ◽  
pp. 278-292
Author(s):  
Steve Dunne

The Safety-Critical Java Memory Model: A Formal Account

2011 ◽  
pp. 246-261 ◽  
Author(s):  
Ana Cavalcanti ◽  
Andy Wellings ◽  
Jim Woodcock
Keyword(s):  
Memory Model ◽  
Safety Critical

scholarly journals Verification of Unloadable Modules

2011 ◽  
pp. 402-416 ◽  
Author(s):  
Bart Jacobs ◽  
Jan Smans ◽  
Frank Piessens
Load More ...
Sign in / Sign up

Export Citation Format

Share Document