Browsing by Subject "Computer bugs"
Now showing items 1-1 of 1
-
An efficient model checker based on theaxiomatization of Propositional Temporal Logic in rewriting logic
( IEEE , 2003 , Conference Paper)In this paper, we propose an efficient Model Checker for the Propositional Temporal Logic denoted by PTL. This logic is hown to be well suited to verify electronic circuits and reactive systems. A typical verification ...