Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{727677, author = {Pelánek, Radek}, address = {Německo}, booktitle = {Formal Methods for Industrial Critical Systems}, keywords = {model checking; automated verification; state space}, language = {eng}, location = {Německo}, isbn = {978-3-540-79706-7}, pages = {149-163}, publisher = {Springer}, title = {Model Classifications and Automated Verification}, year = {2008} }
TY - JOUR ID - 727677 AU - Pelánek, Radek PY - 2008 TI - Model Classifications and Automated Verification PB - Springer CY - Německo SN - 9783540797067 KW - model checking KW - automated verification KW - state space N2 - Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are complementary - each echnique works well for different type of input instances. Unfortunately, it is not clear how to choose an appropriate technique for a specific instance of a problem. In this work we argue that this problem, selection of a technique and tuning its parameter values, should be considered as a standalone problem (a verification meta-search). We propose several classifications of models of asynchronous system and discuss applications of these classifications in the context of explicit finite state model checking. ER -
PELÁNEK, Radek. Model Classifications and Automated Verification. In \textit{Formal Methods for Industrial Critical Systems}. Německo: Springer, 2008, s.~149-163. ISBN~978-3-540-79706-7.
|