2488 search results - page 347 / 498 » An improvement in formal verification |
134
click to vote
HVC
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...
110
click to vote
FLOPS
2004
Springer
15 years 7 months ago
2004
Springer
We present a method for automatic program inversion of functional programs based on methods of LR parsing. We formalize the transformation and illustrate it with the inversion of a...
100
Voted
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
COMPSAC
2000
IEEE
15 years 6 months ago
2000
IEEE
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of...
119
Voted
TIME
1994
IEEE
15 years 5 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...