On-the-fly techniques for game-based software model checking

Adam Bakewell, Dan Ghica

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Publication statusPublished - 1 Jan 2008
Event14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 29-Apr 06, 2008. Budapest, Hungary -
Duration: 1 Jan 2008 → …

Conference

Conference14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 29-Apr 06, 2008. Budapest, Hungary
Period1/01/08 → …

Cite this