My model checker died!: how well did it do?
暂无分享,去创建一个
[1] David Lorge Parnas,et al. Assessment of safety-critical software in nuclear power plants , 1991 .
[2] Bengt Jonsson,et al. A framework for reasoning about time and reliability , 1989, [1989] Proceedings. Real-Time Systems Symposium.
[3] Sebastián Uchitel,et al. Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models , 2009, ESEC/FSE '09.
[4] Stephan Merz,et al. Model Checking , 2000 .
[5] J. Magree,et al. Behavioral analysis of software architectures using LTSA , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[6] James A. Whittaker,et al. A Markov Chain Model for Statistical Software Testing , 1994, IEEE Trans. Software Eng..
[7] John D. Musa,et al. Operational profiles in software-reliability engineering , 1993, IEEE Software.
[8] Andrew Hinton,et al. PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.
[9] Bev Littlewood,et al. Validation of ultrahigh dependability for software-based systems , 1993, CACM.
[10] Thomas A. Henzinger,et al. Interface automata , 2001, ESEC/FSE-9.
[11] Bev Littlewood. Limits to Dependability Assurance--A Controversy Revisited , 2007, 29th International Conference on Software Engineering (ICSE'07 Companion).
[12] Radu Grosu,et al. Monte Carlo Model Checking , 2005, TACAS.
[13] Carlo Ghezzi,et al. Model evolution by run-time parameter adaptation , 2009, 2009 IEEE 31st International Conference on Software Engineering.
[14] Bev Littlewood,et al. Software reliability and dependability: a roadmap , 2000, ICSE '00.
[15] Jeffrey M. Voas,et al. Estimating the Probability of Failure When Testing Reveals No Failures , 1992, IEEE Trans. Software Eng..
[16] Adnan Aziz,et al. It Usually Works: The Temporal Logic of Stochastic Systems , 1995, CAV.
[17] Bernhard Steffen,et al. Reactive, generative, and stratified models of probabilistic processes , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.