Formal System Development with KIV-Reference-Cited by-同舟云学术

Formal System Development with KIV

Published:2000 Issue: Volume: Page:363-366
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Balser Michael,Reif Wolfgang,Schellhorn Gerhard,Stenzel Kurt,Thums Andreas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46428-X_25

Reference13 articles.

1. CCIB-98-026. Common Criteria for Information Technology Security Evaluation, Version 2.0. ISO/IEC JTC 1, May 1998. available at http://www.csrc.nist.gov/cc .

2. CoFI: The Common Framework Initiative. Casl — the CoFI algebraic specification language tentative design: Language summary, 1997. Available at http://www.brics.dk/Projects/CoFI .

3. Lect Notes Comput Sci;M. Fröhlich,1994

4. G. Schellhorn. Verifikation abstrakter Zustandsmaschinen. PhD thesis, Universität Ulm, Fakultät für Informatik, 1999. (to appear, in German).

5. Lect Notes Comput Sci;Y. Gurevich,1993

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

1. Dijkstra’s Legacy on Program Verification;Edsger Wybe Dijkstra;2022-07-12

2. Satisfiability Checking of Clinical Practice Guidelines Using an Analyzer;Modern Care Journal;2020-01-08

3. Seamless Interactive Program Verification;Lecture Notes in Computer Science;2020

4. Safer Parallelization;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020

5. Usability Recommendations for User Guidance in Deductive Program Verification;Lecture Notes in Computer Science;2020