4 citations · 7 across the 8 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Abstraction Refinement for Trace Inclusion of Infinite State Systems
Radu Iosif, Adam Rogalewicz, Tomas Vojnar
A \emph{data automaton} is a finite automaton equipped with variables (counters or registers) ranging over infinite data domains. A trace of a data automaton is an alternating sequ…
cs.LO2014
Deciding Entailments in Inductive Separation Logic with Tree Automata
Radu Iosif, Adam Rogalewicz, Tomas Vojnar
Separation Logic (SL) with inductive definitions is a natural formalism for specifying complex recursive data structures, used in compositional verification of programs manipulatin…