A comparison of tools for teaching formal software verification

Ingo Feinerer; Gernot Salzer

doi:10.1007/s00165-008-0084-5

A comparison of tools for teaching formal software verification

Ingo Feinerer
, Gernot Salzer

TU Wien

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	293-301
Number of pages	9
Journal	Formal Aspects of Computing
Volume	21
Issue number	3
DOIs	https://doi.org/10.1007/s00165-008-0084-5
Publication status	Published - May 2009
Externally published	Yes

Keywords

Formal software verification
Frege Program Prover
Key system
Perfect developer
Prototype verification system

Access to Document

10.1007/s00165-008-0084-5

Cite this

@article{e08e273d26a64100a8efa0909d98a00f,

title = "A comparison of tools for teaching formal software verification",

keywords = "Formal software verification, Frege Program Prover, Key system, Perfect developer, Prototype verification system",

author = "Ingo Feinerer and Gernot Salzer",

year = "2009",

month = may,

doi = "10.1007/s00165-008-0084-5",

language = "English",

volume = "21",

pages = "293--301",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery ",

number = "3",

}

TY - JOUR

T1 - A comparison of tools for teaching formal software verification

AU - Feinerer, Ingo

AU - Salzer, Gernot

PY - 2009/5

Y1 - 2009/5

KW - Formal software verification

KW - Frege Program Prover

KW - Key system

KW - Perfect developer

KW - Prototype verification system

UR - https://www.scopus.com/pages/publications/63749129545

U2 - 10.1007/s00165-008-0084-5

DO - 10.1007/s00165-008-0084-5

M3 - Article

AN - SCOPUS:63749129545

SN - 0934-5043

VL - 21

SP - 293

EP - 301

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 3

ER -

A comparison of tools for teaching formal software verification

Keywords

Access to Document

Other files and links

Fingerprint

Cite this