Approximate verification

This research project studies various notions of approximation in the context of formal verification. Given a program, a system, a protocol, it is often a hard problem to prove that it satisfies a specification. We propose an approach where we can efficiently prove that it approximately satisfies a specification.

Research activities
  Model-Checking

Participants