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. s.~149-163. ISBN~978-3-540-79706-7. 2008.
|
