Sciweavers

3147 search results - page 181 / 630
» Open-Source Model Checking
Sort
View
89
Voted
FM
2005
Springer
81views Formal Methods» more  FM 2005»
15 years 8 months ago
Operational Semantics for Model Checking Circus
Jim Woodcock, Ana Cavalcanti, Leonardo Freitas
105
Voted
FOSSACS
2005
Springer
15 years 8 months ago
Model Checking Durational Probabilistic Systems
François Laroussinie, Jeremy Sproston
121
Voted
LPAR
2005
Springer
15 years 8 months ago
Model Checking Abstract State Machines with Answer Set Programming
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
Calvin Kai Fan Tang, Eugenia Ternovska
106
Voted
SPIN
2005
Springer
15 years 8 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...
93
Voted
SPIN
2005
Springer
15 years 8 months ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp