Automated Multiparameterised Verification by Cut-Offs-Reference-Cited by-同舟云学术

Automated Multiparameterised Verification by Cut-Offs

Published:2010 Issue: Volume: Page:321-337
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Siirtola Antti

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16901-4_22

Reference21 articles.

1. Apt, K.R., Kozen, D.C.: Limits for automatic verification of finite-state concurrent systems. Inf. Process. Lett. 22(6), 307–309 (1986)

2. LNCS;A. Siirtola,2009

3. McKay, B.D.: Nauty User’s Guide (Version 2.4). Department of Computer Science, Australian National University (2007)

4. Lecture Notes in Computer Science;E. Clarke,2004

5. Valmari, A., Tienari, M.: An improved failures equivalence for finite-state systems with a reduction algorithm. In: PSTV 1991, pp. 3–18. North-Holland, Amsterdam (1991)

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

1. An optimal cut-off algorithm for parameterised refinement checking;Science of Computer Programming;2020-10

2. Dynamic Cut-Off Algorithm for Parameterised Refinement Checking;Formal Aspects of Component Software;2018

3. Multi-parameterised compositional verification of safety properties;Information and Computation;2015-10

4. Bounds2: A Tool for Compositional Multi-parametrised Verification;Tools and Algorithms for the Construction and Analysis of Systems;2014

5. Parametrised Compositional Verification with Multiple Process and Data Types;2013 13th International Conference on Application of Concurrency to System Design;2013-07