- All Publications
- Static Analysis
- FLAVERS
- PROPEL
- Finite-State Verification
- Property Specification
»
- Fault-Tree Analysis
- Failure Mode and Effect Analysis
- MPI Verification
- INCA
- Experimentation
- Process Programming and Workflow
[...]
- Software Development
[...]
- Case Studies
[...]
- Electronic Enterprise Institute
- Jump To:
- 2008
- 2006
- 2003
- 2002
- 2000
- 1999
- 1998
|
LASER Publications
Property Specification
by Gleb Naumovich
Classifying Properties: An Alternative to the Safety-Liveness Classification
Gleb Naumovich,
Lori A. Clarke,
8th ACM Sigsoft Symposium on the Foundations of Software Engineering (FSE 8), San Diego, CA, pp. 159-168, March 2000. (UM-CS-2000-012)
[ PostScript ]
[ PDF ]
[ ACM ]
Notice: We present this material to ensure timely and wide dissemination of our work.
All persons copying this material must adhere to the terms of the relevant copyrights
|
This site is maintained by the