AVACS
AVACS
AVACS - Automatic Verification and Analysis of Complex Systems
Start of the project 2004, end of the project 2016; co-operation with other departments of Computing Science as well as other universities and research institutions
Description of the
AVACS is a transregional collaborative research centre dealing with the automatic verification of complex systems. Our department is involved in the following two sub-projects:
- Subproject H4: Automatic Verification of Hybrid System Stability
- Subproject S3: Verification of Dependability Properties
The project work resulted, among other things, in the Stabhyli tool for automatic stability verification of hybrid systems.