Synthesizing "verification aware" models: Why and how?

  • Malay K. Ganai
  • , Akira Mukaiyama
  • , Aarti Gupta
  • , Kazutoshi Wakabayshi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Scopus citations

Fingerprint

Dive into the research topics of 'Synthesizing "verification aware" models: Why and how?'. Together they form a unique fingerprint.

Keyphrases

Computer Science