z-logo
open-access-imgOpen Access
Automated Tools for Teaching Formal Software Verification
Author(s) -
Ingo Feinerer,
Gernot Salzer
Publication year - 2006
Publication title -
electronic workshops in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/tfm2006.4
Subject(s) - computer science , software engineering , formal methods , formal verification , software verification , verification and validation , programming language , software , formal specification , software construction , software development , engineering , operations management
We present the status of formal methods at our university, and describe our course on formal software verification in more detail. We report our experiences in using Perfect Developer for the course assignments.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom

About

AboutCareersPublisher PartnersContact UsOur institutional solutionsGet Organisational Trial or Quote

Learn

FAQsBlogTerms of UsePrivacy Policy

Download the Zendy App

Get it on
Google Play
Download on the
App Store

Discover

Explore

Copyright Knowledge E © 2026. All Rights Reserved.
HomeZAIABlog