Proving Nondeterministically Specified Safety Properties Using Progress Measures

• 1 November 1993
• journal article
• Published by Elsevier in Information and Computation
• Vol. 107  (1) , 151-170
• https://doi.org/10.1006/inco.1993.1064

Abstract

Keywords

• PROVING NONDETERMINISTICALLY
• PROGRESS MEASURES
• NONDETERMINISTICALLY SPECIFIED
• SAFETY PROPERTIES
• SPECIFIED SAFETY
• USING PROGRESS
• PROPERTIES USING