3387 search results - page 332 / 678 » Model-Checking for Real-Time Systems |
194
click to vote
AUSAI
2009
Springer
16 years 1 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
185
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
196
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
214
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
149
click to vote
IEAAIE
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...