Computing Publications

Publications Home » Falsifying safety properties thro...

Falsifying safety properties through games on over-approximating models

Nathaniel Charlton, Michael Huth

Conference or Workshop Paper
Second Workshop on Reachability Problems
Electronic Notes in Theoretical Computer Science
PDF of full publication (701 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Copyright notice

The PDF contains a preliminary version of the final version of this paper.

Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.