Survey on Directed Model Checking-Reference-Cited by-同舟云学术

Survey on Directed Model Checking

Published:2009 Issue: Volume: Page:65-89
ISSN:0302-9743
Container-title:Model Checking and Artificial Intelligence
language:
Short-container-title:

Author:

Edelkamp Stefan,Schuppan Viktor,Bošnački Dragan,Wijs Anton,Fehnker Ansgar,Aljazzar Husain

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-00431-5_5

Reference115 articles.

1. Abdeddaïm, Y., Asarin, E., Maler, O.: Scheduling With Timed Automata. Theoretical Computer Science 354(2), 272–300 (2006)

2. Lecture Notes in Computer Science;D. Ajwani,2008

3. Lecture Notes in Computer Science;H. Aljazzar,2005

4. Lecture Notes in Computer Science;H. Aljazzar,2006

5. Aljazzar, H., Leue, S.: Counterexamples for model checking of markov decision processes. Technical Report soft-08-01, Chair for Software Engineering, University of Konstanz, Gemany (December 2007) (submitted for publication)

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

1. A safety checking algorithm with multi-swarm particle swarm optimization;Proceedings of the Genetic and Evolutionary Computation Conference Companion;2022-07-09

2. A systematic literature review on counterexample explanation;Information and Software Technology;2022-05

3. Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization;Journal of Information and Telecommunication;2022-03-22

4. Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking;Lecture Notes in Computer Science;2022

5. Exploration Strategies for Model Checking with Ant Colony Optimization;Computational Collective Intelligence;2021