Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking-Reference-Cited by-同舟云学术

Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking

Published:2011 Issue: Volume: Page:336-350
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Duret-Lutz Alexandre,Klai Kais,Poitrenaud Denis,Thierry-Mieg Yann

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-24372-1_24

Reference20 articles.

1. Baarir, S., Duret-Lutz, A.: Emptiness check of powerset Büchi automata. In: Proc. of ACSD 2007, pp. 41–50. IEEE Computer Society, Los Alamitos (2007)

2. Lecture Notes in Computer Science;A. Biere,1999

3. Lecture Notes in Computer Science;G. Ciardo,2003

4. Lecture Notes in Computer Science;C. Courcoubetis,1991

5. Lecture Notes in Computer Science;J.-M. Couvreur,2005

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

1. starMC: an automata based CTL* model checker;PeerJ Computer Science;2022-02-24

2. SOG-Based Multi-Core LTL Model Checking;2020 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2020-12

3. Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph;2019 19th International Conference on Application of Concurrency to System Design (ACSD);2019-06

4. Presentation of the 9th Edition of the Model Checking Contest;Tools and Algorithms for the Construction and Analysis of Systems;2019

5. Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context;2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom);2018-12