Property-based design has multiple applications in the domain of formal verification. We have developed a tool capable of automatically generating an exact implementation from a set of finite PSL properties.

Projects:
Functional Verification of Systems

Contact:
Hans Eveking (eveking@rs.tu-darmstadt.de)