A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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

Sofia Cassel
  • Function : Author
  • PersonId : 934384
Bengt Jonsson
  • Function : Author
  • PersonId : 861063
No file

Dates and versions

hal-00766825 , version 1 (19-12-2012)

Identifiers

  • HAL Id : hal-00766825 , version 1

Cite

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⟩

Collections

CONNECT
106 View
0 Download

Share

Gmail Facebook X LinkedIn More