88 search results - page 3 / 18 » MOCHA: Modularity in Model Checking |
91
Voted
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
TC
2010
14 years 11 months ago
2010
85
Voted
CADE
2008
Springer
16 years 1 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
15 years 6 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...
100
Voted
FMCAD
2000
Springer
15 years 4 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...