Optimizing Bounded Model Checking for Linear Hybrid Systems-Reference-Cited by-同舟云学术

Optimizing Bounded Model Checking for Linear Hybrid Systems

Published:2005 Issue: Volume: Page:396-412
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ábrahám Erika,Becker Bernd,Klaedtke Felix,Steffen Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30579-8_26.pdf

Reference25 articles.

1. Ábrahám, E., Becker, B., Klaedtke, F., Steffen, M.: Optimizing bounded model checking for linear hybrid systems. Technical Report TR214, Albert-Ludwigs-Universität Freiburg, Fakultät für Angewandte Wissenschaften, Institut für Informatik (2004), Online, available at http://www.informatik.uni-freiburg.de/tr/

2. Alur, R., Courcoubetis, C., Henzinger, T., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138, 3–34 (1995)

3. Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)

4. Alur, R., Henzinger, T., Ho, P.-H.: Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering 22, 181–201 (1996)

5. Lecture Notes in Artificial Intelligence;G. Audemard,2002

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Two CEGAR-based approaches for the safety verification of PLC-controlled plants;Information Systems Frontiers;2016-07-11

2. Parallel SAT-Based Parameterised Three-Valued Model Checking;Model Checking Software;2015

3. HyComp: An SMT-Based Model Checker for Hybrid Systems;Tools and Algorithms for the Construction and Analysis of Systems;2015

4. SAT–LP–IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata;Formal Methods in System Design;2014-05-16

5. Efficient Scenario Verification for Hybrid Automata;Computer Aided Verification;2011