The industrial success of verification tools based on stålmarck's method-Reference-Cited by-同舟云学术

The industrial success of verification tools based on stålmarck's method

Published:1997 Issue: Volume: Page:7-10
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Borälv Arne

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-63166-6_3.pdf

Reference12 articles.

1. Arne Borälv and Herman Ågren. Feasibility Study SVT. Technical Report U-95002, Logikkonsult NP AB, 1995. Internally published at Logikkonsult.

2. Hans Bolinder. LSA 1.0. Technical Report NPT-01-07-0-3, Issue 2 Rev 1, Logikkonsult NP AB, 1996.

3. Arne Borälv. A Fully Automated Approach for Proving Safety Properties in Interlocking Software Using Automatic Theorem-Proving. Technical report, Logikkonsult NP AB, March 1997. Submitted to the World Congress on Railway Research 1997 (WCRR'97).

4. Love Ekenberg et al. Reference Manual, NP-Tools 2.2. Logikkonsult NP AB, October 1996. NPT-01-07-02 2.0.

5. J.F. Groote, J.W.C. Koorn, and S.F.M. van Vlijmen. The safety guaranteeing system at station Hoorn-Kersenboogerd. Technical report, Department of Philosophy — Utrecht University, 1994.

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

1. B2SAT: A Bare-Metal Reduction of B to SAT;Lecture Notes in Computer Science;2024-09-13

2. Experimental Analysis of Different Techniques for Bounded Model Checking;Tools and Algorithms for the Construction and Analysis of Systems;2003

3. Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking;Computational Logic — CL 2000;2000

4. Symbolic Reachability Analysis Based on SAT-Solvers;Tools and Algorithms for the Construction and Analysis of Systems;2000

5. System Description Using OBDD’s for the Validationof Skolem Verification Conditions;Automated Deduction — CADE-16;1999