Sciweavers

88 search results - page 3 / 18
» MOCHA: Modularity in Model Checking
Sort
View
ATVA
2008
Springer
88views Hardware» more  ATVA 2008»
15 years 3 days ago
Practical Efficient Modular Linear-Time Model-Checking
Carlo A. Furia, Paola Spoletini
CADE
2008
Springer
15 years 10 months ago
Model Checking for Stability Analysis in Rely-Guarantee Proofs
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
Hasan Amjad, Richard Bornat
74
Voted
ATAL
2007
Springer
15 years 4 months ago
Modular interpreted systems
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
Wojciech Jamroga, Thomas Ågotnes
FMCAD
2000
Springer
15 years 1 months ago
A Theory of Consistency for Modular Synchronous Systems
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke...