Další formáty:
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 a 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, s.~66-83. ISBN~978-3-319-23403-8. Dostupné z: https://dx.doi.org/10.1007/978-3-319-23404-5\_{}6.
|