1261 search results - page 15 / 253 » A Hierarchy of Temporal Properties |
CAV
2003
Springer
14 years 2 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...
AMAI
2000
Springer
13 years 8 months ago
2000
Springer
principled ones
CP
2006
Springer
14 years 16 days ago
2006
Springer
An important issue for temporal planners is the ability to handle temporal uncertainty. Recent papers have addressed the question of how to tell whether a temporal network is Dynam...
IGPL
2007
13 years 8 months ago
2007
This article studies preservation of certain algebraic properties of propositional logics when combined by fibring. The logics analyzed here are classified in protoalgebraic, eq...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...