82 search results - page 1 / 17 » Multi-valued Model Checking Games |
CONCUR
2003
Springer
13 years 9 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
ICSE
2001
IEEE-ACM
13 years 9 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
BCS
2008
13 years 6 months ago
2008
Parity games underlie the model checking problem for the modal
LOGCOM
2002
13 years 4 months ago
2002
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...