Objective/MC: A high-level model checking language
暂无分享,去创建一个
[1] Narciso Martí-Oliet,et al. Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..
[2] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[3] Martín Abadi,et al. A Theory of Objects , 1996, Monographs in Computer Science.
[4] Frank S. de Boer,et al. Modeling and Verification of Reactive Systems using Rebeca , 2004, Fundam. Informaticae.
[5] Stephanie Weirich,et al. Type Systems , 2014, Computing Handbook, 3rd ed..
[6] Wolfgang Reif,et al. Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with , 2016, FMICS-AVoCS.
[7] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.
[8] Marjan Sirjani,et al. ReUML: a UML Profile for Modeling and Verification of Reactive Systems , 2007, International Conference on Software Engineering Advances (ICSEA 2007).
[9] Paolo Milazzo,et al. A High-Level Model Checking Language with Compile-Time Pruning of Local Variables , 2016, STAF Workshops.
[10] Klaus Havelund,et al. Model checking JAVA programs using JAVA PathFinder , 2000, International Journal on Software Tools for Technology Transfer.
[11] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.
[12] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[13] Daniel Kroening,et al. A Tool for Checking ANSI-C Programs , 2004, TACAS.