Events in Linear-Time Properties
Dimitrie O. Paun, Marsha Chechik · 1999
For over a decade, researehers m formal methods tried to create formalisms that permit atural specifi'catio of systems ad allow mathematical reasomg about their correctess. The availability of fully-automated reasomg tools eables more omspecialists to use forreal methods efjctively their respotsibility reduces to just specifying the model atd expressing the desired properties. Thus, it is essetial that these properties be represeted m a laguage that is easy to use ad sufficietly expressive.