3 search results - page 1 / 1 » Temporal Assertions with Parametrised Propositions |
RV
2007
Springer
13 years 10 months ago
2007
Springer
CAV
2003
Springer
13 years 9 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
FMCAD
2008
Springer
13 years 6 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...