@inproceedings{c0164f9ce04a4d869f00d9247e255914,
title = "Language-based abstraction refinement for hybrid system verification",
abstract = "The standard counterexample-guided abstraction-refinement (CEGAR) approach uses finite transition systems as abstractions of concrete systems. We present an approach to represent and refine abstractions of infinite-state systems that uses regular languages instead of finite transition systems. The advantage of using languages over transition systems is that we can store more fine-grained information in the abstraction and thus reduce the number of abstract states. Based on this language-based approach for CEGAR, we present new abstraction-refinement algorithms for hybrid system verification. Moreover, we evaluate our approach by verifying various non-linear hybrid systems.",
author = "Felix Klaedtke and Stefan Ratschan and Zhikun She",
year = "2007",
doi = "10.1007/978-3-540-69738-1\_11",
language = "英语",
isbn = "3540697357",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "151--166",
booktitle = "Verification, Model Checking, and Abstract Interpretation, - 8th International Conference, VMCAI 2007, Proceedings",
address = "德国",
note = "8th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007 ; Conference date: 14-01-2007 Through 16-01-2007",
}