Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard
暂无分享,去创建一个
[1] Wan Fokkink. Safety Criteria for Hoorn-Kersenboogerd Railway Station , 1995 .
[2] Armin Biere,et al. Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs , 1999, CAV.
[3] Mary Sheeran,et al. A Tutorial on Stålmarcks's Proof Procedure for Propositional Logic , 1998, FMCAD.
[4] J. F. Groote,et al. The safety guaranteeing system at station Hoorn-Kersenboogerd , 1994, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.
[5] C. Eisner,et al. RuleBase: an industry-oriented formal verification tool , 1996, 33rd Design Automation Conference Proceedings, 1996.
[6] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.
[7] Edmund M. Clarke,et al. Characterizing Correctness Properties of Parallel Programs Using Fixpoints , 1980, ICALP.
[8] Mary Sheeran,et al. A Tutorial on Stålmarck's Proof Procedure for Propositional Logic , 2000, Formal Methods Syst. Des..
[9] Mary Sheeran. A Tutorial on St Almarck's Proof Procedure for Propositional Logic a Tutorial on St Almarck's Proof Procedure for Propositional Logic , 2007 .
[10] Edmund M. Clarke,et al. Efficient generation of counterexamples and witnesses in symbolic model checking , 1995, DAC '95.
[11] Kenneth L. McMillan,et al. Symbolic model checking , 1992 .