2514 search results - page 334 / 503 » The use of industrial-strength formal methods |
142
click to vote
CAV
2007
Springer
16 years 19 days ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
184
click to vote
CAV
2007
Springer
16 years 19 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
159
click to vote
DSOM
2007
Springer
16 years 19 days ago
2007
Springer
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...
171
click to vote
FMCAD
2007
Springer
16 years 19 days ago
2007
Springer
—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Specifications of the cor...
144
click to vote
FMCAD
2007
Springer
16 years 19 days ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...