Boundaries and Efficiency of Verification
| Authors | |
|---|---|
| Year of publication | 2002 |
| Type | Article in Proceedings |
| Conference | Proceedings of summer school MOVEP~2002 |
| MU Faculty or unit | |
| Citation | |
| Field | Computer hardware and software |
| Keywords | stuttering; constrained rewrite systems |
| Description | Formal verification of concurrent systems is in the center of interest of many researchers for a long time. Here we present directions and some results of our work in this area, namely rewrite systems with constraints and modifications of well known stuttering principle. |
| Related projects: |