Formal Methods Diffusion: Past Lessons and Future Prospects
暂无分享,去创建一个
Stefan Wittmann | Robin E. Bloomfield | Markus Ullmann | Dan Craigen | Frank Koob | R. Bloomfield | M. Ullmann | D. Craigen | F. Koob | S. Wittmann
[1] Geoffrey A. Moore,et al. Crossing the Chasm , 1991 .
[2] Steve King,et al. The Value of Verification: Positive Experience of Industrial Proof , 1999, World Congress on Formal Methods.
[3] Geoffrey A. Moore,et al. Inside the Tornado: Marketing Strategies from Silicon Valley's Cutting Edge , 1995 .
[4] Susan Stepney. Incremental development of a high integrity compiler: experience from an industrial development , 1998, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231).
[5] Lars-Henrik Eriksson,et al. Specifying Railway Interlocking Requirements for Practical Use , 1996, SAFECOMP.
[6] T. Kuhn,et al. The Structure of Scientific Revolutions , 1963 .
[7] Jim Woodcock,et al. Guest Editors' Introduction-Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems , 2000, IEEE Trans. Software Eng..
[8] Joseph Sifakis. Integration, the Price of Success , 1999, World Congress on Formal Methods.
[9] Paul Benoit,et al. Météor: A Successful Application of B in a Large Project , 1999, World Congress on Formal Methods.
[10] Wenhui Zhang,et al. Model Checking Operator Procedures , 1999, SPIN.
[11] A. Cohn. The notion of proof in hardware verification , 1989 .
[12] Victor Carreño,et al. Analyzing Mode Confusion via Model Checking , 1999, SPIN.
[13] Anne Elisabeth Haxthausen,et al. Formal Development and Verification of a Distributed Railway Control System , 2000, IEEE Trans. Software Eng..
[14] Peter K. D. Froome,et al. The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERTTM Story , 1999, SAFECOMP.
[15] Natarajan Shankar,et al. PVS: An Experience Report , 1998, FM-Trends.
[16] Matthew J. Morley. Safety in Railway Signalling Data: A Behavioural Analysis , 1993, HUG.
[17] Dan Craigen,et al. Experience with formal methods in critical systems , 1994, IEEE Software.
[18] Fausto Giunchiglia,et al. Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System , 1998, SAFECOMP.
[19] Martin Croxford,et al. Breaking Through the V and V Bottleneck , 1995, Ada-Europe.
[20] R.W. Butler,et al. NASA Langley's research and technology-transfer program in formal methods , 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.