Loading...
Please wait, while we are loading the content...
Similar Documents
Enhanced vacuity detection in linear temporal logic (2003).
| Content Provider | CiteSeerX |
|---|---|
| Author | Armoni, Roy Fix, Limor Flaisher, Alon Grumberg, Orna Piterman, Nir Tiemeyer, Andreas Vardi, Moshe Y. |
| Abstract | One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to a correctness query with a counterexample to the satisfaction of the specification in the system. On the other hand, when the answer to the correctness query is positive, most model-checking tools provide no witness for the satisfaction of the specification. In the last few years there has been growing awareness of the importance of suspecting the system or the specification of containing an error also in cases where model checking succeeds. |
| File Format | |
| Publisher Date | 2003-01-01 |
| Access Restriction | Open |
| Subject Keyword | Enhanced Vacuity Detection Linear Temporal Logic Correctness Query Negative Answer Temporal-logic Model-checking Tool Model-checking Tool Last Year |
| Content Type | Text |
