Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{710390, author = {Brim, Luboš and Křetínský, Mojmír}, address = {Berlin}, booktitle = {33rd Conference on Current Trends in Theory and Practice of Computer Science}, keywords = {finite and infinite-state systems; reachability; linear time logic; model checking; decidability}, language = {eng}, location = {Berlin}, isbn = {978-3-540-69506-6}, pages = {9-28}, publisher = {Springer-Verlag}, title = {Model Checking Large Finite-State Systems and Beyond}, year = {2007} }
TY - JOUR ID - 710390 AU - Brim, Luboš - Křetínský, Mojmír PY - 2007 TI - Model Checking Large Finite-State Systems and Beyond PB - Springer-Verlag CY - Berlin SN - 9783540695066 KW - finite and infinite-state systems KW - reachability KW - linear time logic KW - model checking KW - decidability N2 - We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS), possibly extended with a weak finite-state control unit, and properties described by basic fragments of action-based Linear Temporal Logic (LTL) a Hennessy-Milner branching time logic. ER -
BRIM, Luboš a Mojmír KŘETÍNSKÝ. Model Checking Large Finite-State Systems and Beyond. In \textit{33rd Conference on Current Trends in Theory and Practice of Computer Science}. Berlin: Springer-Verlag, 2007, s.~9-28. ISBN~978-3-540-69506-6.
|