Three selected case studies in verification-Reference-Cited by-同舟云学术

Three selected case studies in verification

Published:1995 Issue: Volume: Page:369-387
ISSN:0302-9743
Container-title:KORSO: Methods, Languages, and Tools for the Construction of Correct Software
language:
Short-container-title:

Author:

Fuchß Thomas,Reif Wolfgang,Schellhorn Gerhard,Stenzel Kurt

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0015472

Reference13 articles.

1. M. Abadi, M. Burrows, B. Lampson and G. Plotkin. A Calculus for Access Control in Distributed Systems. In CRYPTO 91, Proceedings. 1991.

2. J. ter Bekke. Semantic Data Modeling. Prentice Hall, 1992.

3. F. Cornelius, H. Hußmann and M. Löwe. The Korso Case Study for Software Engineering with Formal Methods: A Medical Information System. In Broy, Jähnichen (eds.), Korso, Correct Software by Formal Methods. Springer LNCS 1995. (In this volume).

4. T. Fuchß. Translating E/R-diagrams into Consistent Database Specifications. Technical Report 2/94, Fakultät für Informatik, Universität Karlsruhe, Germany, 1994.

5. R. Hettler. Übersetzung von E/R-Modellen nach Spectrum. Technical Report I9333, TU München, Germany, 1993 (in german).

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. KIV: overview and VerifyThis competition;International Journal on Software Tools for Technology Transfer;2014-04-16

2. KIV 3.0 for Provably Correct Systems;Applied Formal Methods — FM-Trends 98;1999

3. Proving system correctness with KIV;TAPSOFT '97: Theory and Practice of Software Development;1997

4. Proving System Correctness with KIV 3.0;Automated Deduction—CADE-14;1997

5. The Korso case study for software engineering with formal methods: A medical information system;KORSO: Methods, Languages, and Tools for the Construction of Correct Software;1995