« July 2017 »
July
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
24252627282930
31
Uni-Logo
You are here: Home
Document Actions

Welcome

We improve the software productivity and quality by automating the software development process. Tools automatically analyze and verify properties of systems (whether the system is only a requirement specification, already a design model or even a piece of program code). The tools are software artefacts that are themselves applied to software artefacts. Analysis and verification is providing proofs, i.e., an activity that is originally proper to mathematicians. We mechanize this activity, for proofs about properties of systems. How is this possible?

 

 

 poster66large.jpg

Personal tools