Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1394289, author = {Kejstová, Katarína and Ročkai, Petr and Barnat, Jiří}, address = {neuvedeno}, booktitle = {Runtime Verification - 17th International Conference, RV 2017}, doi = {http://dx.doi.org/10.1007/978-3-319-67531-2_14}, editor = {Shuvendu Lahiri, Giles Reger}, keywords = {model checking; runtime verification}, howpublished = {tištěná verze "print"}, language = {eng}, location = {neuvedeno}, isbn = {978-3-319-67530-5}, pages = {225-240}, publisher = {Springer}, title = {From Model Checking to Runtime Verification and Back}, year = {2017} }
TY - JOUR ID - 1394289 AU - Kejstová, Katarína - Ročkai, Petr - Barnat, Jiří PY - 2017 TI - From Model Checking to Runtime Verification and Back PB - Springer CY - neuvedeno SN - 9783319675305 KW - model checking KW - runtime verification N2 - We describe a novel approach for adapting an existing software model checker to perform precise runtime verification. The software under test is allowed to communicate with the wider environment (including the file system and network). The modifications to the model checker are small and self-contained, making this a viable strategy for re-using existing model checking tools in a new context. Additionally, from the data that is gathered during a single execution in the runtime verification mode, we automatically re-construct a description of the execution environment which can then be used in the standard, full-blown model checker. This additional verification step can further improve coverage, especially in the case of parallel programs, without introducing substantial overhead into the process of runtime verification. ER -
KEJSTOVÁ, Katarína, Petr ROČKAI a Jiří BARNAT. From Model Checking to Runtime Verification and Back. In Shuvendu Lahiri, Giles Reger. \textit{Runtime Verification - 17th International Conference, RV 2017}. neuvedeno: Springer, 2017, s.~225-240. ISBN~978-3-319-67530-5. Dostupné z: https://dx.doi.org/10.1007/978-3-319-67531-2\_{}14.
|