@inproceedings{a91facd069614f1abff48fa2eb00b1fe,
title = "A novel approach to verifying context free properties of programs",
abstract = "This paper proposes an approach to verifying programs against context free properties. To this end, the system to be verified is modeled by a program m in Modeling, Simulation and Verification Language (MSVL), and the desired property is also specified by an MSVL program m'. Then program m and formula ¬m' are interpreted by means of executing programs m and m'. If an acceptable execution path is generated, a counterexample is found, otherwise the property is valid. To show how the proposed approach works, an example is given.",
keywords = "Automata, Model checking, Runtime verification, Temporal logic",
author = "Nan Zhang and Zhenhua Duan and Cong Tian and Hongwei Du",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018.; 12th International Conference on Algorithmic Aspects in Information and Management, AAIM 2018 ; Conference date: 03-12-2018 Through 04-12-2018",
year = "2018",
doi = "10.1007/978-3-030-04618-7\_7",
language = "英语",
isbn = "9783030046170",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "74--87",
editor = "Sergiy Butenko and Shaojie Tang and Ding-Zhu Du and David Woodruff",
booktitle = "Algorithmic Aspects in Information and Management - 12th International Conference, AAIM 2018, Proceedings",
address = "德国",
}