TSMV: a symbolic model checker for quantitative analysis of systems
暂无分享,去创建一个
[1] Günter Rote. Crossing the Bridge at Night , 2002, Bull. EATCS.
[2] Fausto Giunchiglia,et al. NUSMV: A New Symbolic Model Verifier , 1999, CAV.
[3] Sérgio Vale Aguiar Campos,et al. Verifying the performance of the PCI local bus using symbolic techniques , 1995, Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.
[4] A. Prasad Sistla,et al. Quantitative temporal reasoning , 1990, Real-Time Systems.
[5] Sérgio Vale Aguiar Campos,et al. The Verus language: representing time efficiently with BDDs , 1997, Theor. Comput. Sci..
[6] Philippe Schnoebelen,et al. On Model Checking Durational Kripke Structures , 2002, FoSSaCS.
[7] Philippe Schnoebelen,et al. Symbolic Model Checking for Simply-Timed Systems , 2004, FORMATS/FTRTFT.