Simulation machines for checking action system refinements (2006)
by
Graeme Smith
,
Kirsten Winter
,
Graeme Smith
,
Kirsten Winter
| Citations: | 1 - 1 self |
BibTeX
@MISC{Smith06simulationmachines,
author = {Graeme Smith and Kirsten Winter and Graeme Smith and Kirsten Winter},
title = {Simulation machines for checking action system refinements},
year = {2006}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Simulation machines for checking action system refinements
Citations
| 1009 | Temporal and modal logic - Emerson - 1990 |
| 482 | Counterexample-Guided Abstraction Refinement for Symbolic Model Checking - Clarke, Grumberg, et al. - 2003 |
| 237 | Refinement Calculus, A Systematic Introduction - Back, Wright - 1998 |
| 127 | Decentralization of process nets with centralized control - Back, Kurki-Suonio - 1989 |
| 96 | Trace Refinement of Action Systems - Back, Wright - 1994 |
| 55 | Superposition refinement of parallel algorithms - RJR, Sere - 1992 |
| 22 | The Refinement Calculator: Proof Support for Program Refinement - Butler, Grundy, et al. - 1997 |
| 13 | Refinement of parallel and reactive programs - Back - 1993 |
| 11 | Automatic refinement checking for B - Leuschel, Butler - 2005 |
| 7 | Refining Action Systems within B-Tool - Walden, Sere - 1996 |
| 5 | Using the Alloy Analyzer to verify data refinement in Z - Bolton - 2005 |
| 1 | Model checking downward simulations - Smith, Derrick - 2005 |
