Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1309631,
author = {Blahoudek, František and DuretandLutz, Alexandre and Rujbr, Vojtěch and Strejček, Jan},
address = {Heidelberg, New York, Dordrecht, London},
booktitle = {2015 International SPIN Symposium on Model Checking of Software},
doi = {http://dx.doi.org/10.1007/978-3-319-23404-5_6},
editor = {Fischer, Bernd and Geldenhuys, Jaco},
keywords = {linear temporal logic; Büchi automata; explicit model checking; specification refinement},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Heidelberg, New York, Dordrecht, London},
isbn = {978-3-319-23403-8},
pages = {66-83},
publisher = {Springer International Publishing},
title = {On Refinement of Büchi Automata for Explicit Model Checking},
year = {2015}
}
TY - JOUR
ID - 1309631
AU - Blahoudek, František - Duret-Lutz, Alexandre - Rujbr, Vojtěch - Strejček, Jan
PY - 2015
TI - On Refinement of Büchi Automata for Explicit Model Checking
PB - Springer International Publishing
CY - Heidelberg, New York, Dordrecht, London
SN - 9783319234038
KW - linear temporal logic
KW - Büchi automata
KW - explicit model checking
KW - specification refinement
N2 - In explicit model checking, systems are typically described in an implicit and compact way. Some valid information about the system can be easily derived directly from this description, for example that some atomic propositions cannot be valid at the same time. The paper shows several ways to apply this information to improve the Büchi automaton built from an LTL specification. As a result, we get smaller automata with shorter edge labels that are easier to understand and, more importantly, for which the explicit model checking process performs better.
ER -
BLAHOUDEK, František, Alexandre DURET-LUTZ, Vojtěch RUJBR and Jan STREJČEK. On Refinement of Büchi Automata for Explicit Model Checking. In Fischer, Bernd and Geldenhuys, Jaco. \textit{2015 International SPIN Symposium on Model Checking of Software}. Heidelberg, New York, Dordrecht, London: Springer International Publishing, 2015, p.~66-83. ISBN~978-3-319-23403-8. Available from: https://dx.doi.org/10.1007/978-3-319-23404-5\_{}6.
|
