Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{405436, author = {Strejček, Jan}, address = {Nantes (France)}, booktitle = {Proceedings of summer school MOVEP~2002}, keywords = {stuttering; constrained rewrite systems}, language = {eng}, location = {Nantes (France)}, pages = {403-408}, publisher = {IRCCyN, Ecole Centrale de Nantes, France}, title = {Boundaries and Efficiency of Verification}, year = {2002} }
TY - JOUR ID - 405436 AU - Strejček, Jan PY - 2002 TI - Boundaries and Efficiency of Verification PB - IRCCyN, Ecole Centrale de Nantes, France CY - Nantes (France) KW - stuttering KW - constrained rewrite systems N2 - 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. ER -
STREJČEK, Jan. Boundaries and Efficiency of Verification. In \textit{Proceedings of summer school MOVEP~2002}. Nantes (France): IRCCyN, Ecole Centrale de Nantes, France, 2002, s.~403-408.
|