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

Publikation: Beitrag in Fachzeitschrift › Artikel › peer-review

Originalsprache	Englisch
Seiten (von - bis)	293-301
Seitenumfang	9
Fachzeitschrift	Formal Aspects of Computing
Jahrgang	21
Ausgabenummer	3
DOIs	https://doi.org/10.1007/s00165-008-0084-5
Publikationsstatus	Veröffentlicht - Mai 2009
Extern publiziert	Ja

Zugriff auf Dokument

10.1007/s00165-008-0084-5

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@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

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Dieses zitieren