Browsing by Author "Friggens, David"
Friggens, David; Groves, Lindsay (Australian Computer Society Inc, 2014)Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and is able to construct finite representations of systems with infinite statespaces for verification. The granularity ...
Co-authors for David Friggens
David Friggens has 1 co-authors in Research Commons.