Paper Search Console

Home Search Page About Contact

Journal Title

Title of Journal: Form Asp Comp

Search In Journal Title:

Abbravation: Formal Aspects of Computing

Search In Journal Abbravation:

Publisher

Springer-Verlag

Search In Publisher:

DOI

10.1007/bf01027666

Search In DOI:

ISSN

1433-299X

Search In ISSN:
Search In Title Of Papers:

A comparison of tools for teaching formal software

Authors: Ingo Feinerer Gernot Salzer
Publish Date: 2008/06/11
Volume: 21, Issue: 3, Pages: 293-301
PDF Link

Abstract

We compare four tools regarding their suitability for teaching formal software verification namely the Frege Program Prover the Key system Perfect Developer and the Prototype Verification System PVS We evaluate them on a suite of small programs which are typical of courses dealing with Hoarestyle verification weakest preconditions or dynamic logic Finally we report our experiences with using Perfect Developer in class

Keywords:

References

.
Search In Abstract Of Papers:
Other Papers In This Journal:
  1. A refinement-based process algebra for timed automata
  2. Integrating a formal method into a software engineering process with UML and Java
  3. A formal framework for modeling and validating Simulink diagrams
  4. Slicing communicating automata specifications: polynomial algorithms for model reduction
  5. Security invariants in discrete transition systems
  6. Model checking action system refinements
  7. Building a push-button RESOLVE verifier: Progress and challenges
Search Result: