Deduction in the Verification Support Environment (VSE)
作者： Dieter Hutter , Bruno Langenstein , Claus Sengler , Jörg H. Siekmann , Werner Stephan
关键词:
摘要: The reliability of complex software systems is becoming increasingly important for the technical they are embedded in. In order to assure highest levels trustworthiness formal methods development required. VSE-tool was developed by a consortium German universities and industry make tool available which supports this process.
springer.com
core.ac.uk
sci-hub.st 参考文章(12)
Baur, T. Plasa, P. Kejwal, R. Drexler, W. Stephan, W. Reif, A. Wolpers, D. Hutter, C. Sengler, E. Canver, The Verification Support Environment VSE IFAC Proceedings Volumes. ,vol. 25, pp. 69- 74 ,(1992) , 10.1016/S1474-6670(17)49409-2
S. Biundo, B. Hummel, D. Hutter, C. Walther, The Karlsruhe Induction Theorem Proving System conference on automated deduction. pp. 672- 674 ,(1986) , 10.1007/3-540-16780-3_132
Dieter Hutter, Guiding induction proofs conference on automated deduction. pp. 147- 161 ,(1990) , 10.1007/3-540-52885-7_85
Robert Goldblatt, SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC Journal of Symbolic Logic. ,vol. 51, ,(1976) , 10.2307/2273958
Robert S. Boyer, A computational logic ,(1979)
Wolfgang Reif, Correctness of Generic Modules foundations of computer science. pp. 406- 417 ,(1992) , 10.1007/BFB0023893
C B Jones, Systematic software development using VDM Prentice Hall International (UK) Ltd.. ,(1986)
Leslie Lamport, The temporal logic of actions ACM Transactions on Programming Languages and Systems. ,vol. 16, pp. 872- 923 ,(1994) , 10.1145/177492.177726
Vaughan R. Pratt, Semantical consideration on floyo-hoare logic 17th Annual Symposium on Foundations of Computer Science (sfcs 1976). pp. 109- 121 ,(1976) , 10.1109/SFCS.1976.27
Wolfgang Reif, Verification of Large Software Systems foundations of software technology and theoretical computer science. pp. 241- 252 ,(1992) , 10.1007/3-540-56287-7_109