783 search results - page 86 / 157 » Compositional Reasoning in Model Checking |
123
click to vote
DSD
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
122
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
134
click to vote
AICOM
2005
2005
The Ants' Garden: Complex interactions between populations and the scalability of qualitative models
15 years 2 months ago
Ecological theories often explain the behaviour of communities in terms of the underlying interactions that take place between the species that are part of the community. This clos...
118
click to vote
ENTCS
2007
15 years 2 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
145
click to vote
DLOG
2009
15 years 7 days ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...