An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata
暂无分享,去创建一个
[1] Gethin Norman,et al. Model checking for probabilistic timed automata , 2012, Formal Methods in System Design.
[2] Christel Baier,et al. Principles of Model Checking (Representation and Mind Series) , 2008 .
[3] Jasper Berendsen,et al. Fortuna: Model Checking Priced Probabilistic Timed Automata , 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.
[4] Henrik Reif Andersen,et al. Difference Decision Diagrams , 1999, CSL.
[5] Farn Wang,et al. Efficient verification of timed automata with BDD-like data structures , 2004, International Journal on Software Tools for Technology Transfer.
[6] Marta Z. Kwiatkowska,et al. Symbolic model checking for probabilistic timed automata , 2007, Inf. Comput..
[7] Masahiro Fujita,et al. Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation , 1997, Formal Methods Syst. Des..
[8] Stuart Cheshire,et al. Dynamic Configuration of IPv4 Link-Local Addresses , 2005, RFC.
[9] Farn Wang. Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis , 2008, 2008 Real-Time Systems Symposium.
[10] Danièle Beauquier. On probabilistic timed automata , 2003, Theor. Comput. Sci..
[11] Hongyang Qu,et al. Incremental quantitative verification for Markov decision processes , 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN).
[12] Marta Z. Kwiatkowska,et al. Performance analysis of probabilistic timed automata using digital clocks , 2003, Formal Methods Syst. Des..
[13] Thomas Hérault,et al. Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC , 2005, AVoCS.
[14] Marta Z. Kwiatkowska,et al. Stochastic Games for Verification of Probabilistic Timed Automata , 2009, FORMATS.
[15] Lin Gui,et al. SCC-Based Improved Reachability Analysis for Markov Decision Processes , 2014, ICFEM.
[16] Marta Z. Kwiatkowska,et al. Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol , 2003, Formal Aspects of Computing.
[17] Howard Falk,et al. Formal Verification of Timed Systems: A Survey and Perspective , 2004, Proc. IEEE.
[18] Marta Z. Kwiatkowska,et al. Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.
[19] Farn Wang,et al. REDLIB for the Formal Verification of Embedded Systems , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
[20] Satoshi Yamane,et al. The symbolic model-checking for real-time systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.
[21] Marta Z. Kwiatkowska,et al. Automatic verification of real-time systems with discrete probability distributions , 1999, Theor. Comput. Sci..
[22] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[23] Farn Wang,et al. Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram , 2001, FORTE.
[24] Andrea Bianco,et al. Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.
[25] Farn Wang,et al. Efficient verification of distributed real-time systems with broadcasting behaviors , 2011, Real-Time Systems.
[26] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[27] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[28] Farn Wang,et al. Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures , 2004, IEEE Transactions on Software Engineering.
[29] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.
[30] Jan J. M. M. Rutten,et al. Mathematical techniques for analyzing concurrent and probabilistic systems , 2004, CRM monograph series.
[31] Olivier Markowitch,et al. Probabilistic Non-Repudiation without Trusted Third Party , 1999 .
[32] Henrik Ejersbo Jensen. Model Checking Probabilistic Real Time Systems , 1996 .
[33] Wang Yi,et al. Clock Difference Diagrams , 1998, Nord. J. Comput..
[34] Farn Wang,et al. Region Encoding Diagram for fully symbolic verification of real-time systems , 2000, Proceedings 24th Annual International Computer Software and Applications Conference. COMPSAC2000.