The research project studies various notions of approximation in the context of formal verification. Given a program, a system, a protocol, how do we define
that it approximately satisfies a specification?
Topics
- Testers and Correctors on Trees
- Approximate Model-Checking
- Games and Protocols
Software developments