501 search results - page 1 / 101 » Using Abstraction to Verify Arbitrary Temporal Properties |
81
Voted
APSEC
2008
IEEE
15 years 7 months ago
2008
IEEE
straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 Dece...
134
Voted
IGPL
2006
15 years 1 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
116
Voted
FMSD
2000
15 years 27 days ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
79
Voted
CORR
2009
Springer
14 years 11 months ago
2009
Springer
99
Voted
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...