Synthesizing "verification aware" models: Why and how?

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

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

Engineering & Materials Science