Kaiserstraße 170-174 66386 Sankt Ingbert (Germany)
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications
FMCAD Formal Methods in Computer Aided Design, FMCAD