Explore projects

Requirement falsification for cyber-physical systems using generative models and the OGAN algorithm. This is an entry in the falsification track of the ARCH-COMP 2023 competition on verifying continuous and hybrid systems.

Public update site for M2-AlfTester tool

Tool binaries for MBPeT