On-the-Fly Techniques for Game-Based Software Model Checking

Adam Bakewell, Dan Ghica

Research output: Contribution to journalArticle

10 Citations (Scopus)

Fingerprint

Dive into the research topics of 'On-the-Fly Techniques for Game-Based Software Model Checking'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science