Skip to Content

Research

Rule Based Information Systems Design
We facilitate design of Information Systems by viewing the design process as one in which different stakeholders need to be addressed in ... more
Concurrent Program Verification
Programming languages like Java, that are recognised as striking a good balance between being easy to write and learn, and good for writing ... more
Certification of Termination and Safety Proofs
A number of incorrect proofs are revealed annually in the software verification competitions. Program analysis is a complex task, ... more

Tools

Ampersand
The purpose of Ampersand is to help business architects deliver. Ampersand lets you demonstrate how your design complies to the rules by ... more
Amperspiegel
The purpose of Amperspiegel is to provide a meta-programming language suitable for programming Ampersand. Amperspiegel uses graph-based ... more
IsaFoR/CeTA
CeTA is a tool developed at the University of Innsbruck that certifies termination of programs and other proofs provided by some automated ... more