Using MTBDDs for discrete timed symbolic model checking
暂无分享,去创建一个
[1] Masahiro Fujita,et al. Applications of Multi-Terminal Binary Decision Diagrams , 1995 .
[2] Satoshi Yamane,et al. The symbolic model-checking for real-time systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.
[3] Ragunathan Rajkumar. Task synchronization in real-time systems , 1989 .
[4] N. S. Barnett,et al. Private communication , 1969 .
[5] Rajeev Alur,et al. Model-checking for real-time systems , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[6] J. D. Lipson. Elements of algebra and algebraic computing , 1981 .
[7] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[8] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[9] Edmund M. Clarke,et al. Verification Tools for Finite-State Concurrent Systems , 1993, REX School/Symposium.
[10] E. Clarke,et al. Real-time symbolic model checking for discrete time models , 1994 .
[11] Lui Sha,et al. Sources of unbounded priority inversions in real-time systems and a comparative study of possible solutions , 1992, OPSR.
[12] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.