88 search results - page 3 / 18 » MOCHA: Modularity in Model Checking |
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
TC
2010
13 years 6 months ago
2010
CADE
2008
Springer
14 years 7 months ago
2008
Springer
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...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
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...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
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...