445 search results - page 9 / 89 » Model Checking Quantitative Linear Time Logic |
TACAS
2005
Springer
14 years 27 days ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
TIME
2007
IEEE
14 years 1 months ago
2007
IEEE
ECTEL
2007
Springer
13 years 11 months ago
2007
Springer
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...
UML
2004
Springer
14 years 22 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...