3028 search results - page 69 / 606 » Integrating Temporal Logics |
CIBB
2009
13 years 11 months ago
2009
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
EUSFLAT
2009
13 years 7 months ago
2009
Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters
LOGCOM
2002
13 years 9 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...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...