475 search results - page 26 / 95 » Temporal Logic Model Checking (Abstract) |
110
click to vote
CAV
2003
Springer
15 years 6 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...
101
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
108
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
108
click to vote
IJFCS
2006
15 years 1 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
128
click to vote
ISSE
2007
15 years 1 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...