3 search results - page 1 / 1 » Temporal Assertions with Parametrised Propositions |
116
Voted
RV
2007
Springer
15 years 12 months ago
2007
Springer
147
Voted
CAV
2003
Springer
15 years 11 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...
156
click to vote
FMCAD
2008
Springer
15 years 7 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...