Parallel Model Checking for the Alternation Free μ-Calculus-Reference-Cited by-同舟云学术

Parallel Model Checking for the Alternation Free μ-Calculus

Published:2001 Issue: Volume: Page:543-558
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Bollig Benedikt,Leucker Martin,Weber Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45319-9_37

Reference26 articles.

1. S. Basonov. Parallel implementation of BDD on DSM systems. Master’s thesis, Computer Science Department, Technion, 1998.

2. G. Cabodi, P. Camurati, and S. Que. Improved reachability analysis of large FSM. In Proc. IEEE Int. Conf. on Computer Aided Design, pages 354–360. IEEE Computer Society Press, June 1996.

3. E. M. Clarke and J. Wing. Formal methods: State of the art and future directions. Technical Report CMU-CS-96-178, Carnegie Mellon University (CMU), Sept. 1996.

4. Lect Notes Comput Sci;R. Cleaveland,1992

5. E. W. Dijkstra, W. H. J. Feijen, and A. J. M. van Gasteren. Derivation of a termination detection algorithm for distributed computations. Information Processing Letters, 16(5):217–219, June 1983.

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

1. Recent developments in high performance computing and security: An editorial;Future Generation Computer Systems;2013-03

2. Scalable shared memory LTL model checking;International Journal on Software Tools for Technology Transfer;2010-02-03

3. Squeeze All the Power Out of Your Hardware to Verify Your Software!;Communications in Computer and Information Science;2008

4. Distributed Verification: Exploring the Power of Raw Computing Power;Formal Methods: Applications and Technology;2007

5. Tutorial: Parallel Model Checking;Model Checking Software;2007