Formal verification of a partial-order reduction technique for model checking-Reference-Cited by-同舟云学术

Formal verification of a partial-order reduction technique for model checking

Published:1996 Issue: Volume: Page:241-257
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Chou Ching -Tsun,Peled Doron

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61042-1_48.pdf

Reference18 articles.

1. Robert S. Boyer and J. Strother Moore, A Computational Logic, Academic Press, 1979.

2. Alonzo Church, “A Formulation of the Simple Theory of Types”, in Journal of Symbolic Logic, Vol. 5, pp. 56–68, 1940.

3. E.M. Clarke, T. Filkorn, S. Jha, Exploiting Symmetry in Temporal Logic Model Checking, 5th International Conference on Computer Aided Verification, Elounda, Greece, June 1993, LNCS 697, 450–462.

4. E.A. Emerson, A.P. Sistla, Symmetry and Model Checking, 5th International Conference on Computer Aided Verification, Elounda, Greece, June 1993, LNCS 697, 463–479.

5. Michael J.C. Gordon and Thomas F. Melham (Ed.), Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic, Cambridge University Press, 1993.

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

1. Certified Foata Normalization for Generalized Traces;Lecture Notes in Computer Science;2018

2. Formal Verification of an Executable LTL Model Checker with Partial Order Reduction;Journal of Automated Reasoning;2017-06-20

3. Formal Verification of an Executable LTL Model Checker with Partial Order Reduction;Lecture Notes in Computer Science;2016

4. Automatic verification of reduction techniques in Higher Order Logic;Formal Aspects of Computing;2013-11

5. Partial-order reduction and trail improvement in directed model checking;International Journal on Software Tools for Technology Transfer;2004-08