A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations

Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-00766825
Contributor : Sofia Cassel <>
Submitted on : Wednesday, December 19, 2012 - 10:09:04 AM
Last modification on : Wednesday, December 19, 2012 - 10:09:04 AM

Identifiers

  • HAL Id : hal-00766825, version 1

Collections

Citation

Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen. A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, Oct 2012, Thiruvananthapuram, India. pp.57-71. ⟨hal-00766825⟩

Share

Metrics

Record views

115