Boundaries and Efficiency of Verification

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

STREJČEK Jan

Year of publication 2002
Type Article in Proceedings
Conference Proceedings of summer school MOVEP~2002
MU Faculty or unit

Faculty of Informatics

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:

You are running an old browser version. We recommend updating your browser to its latest version.