Sign in
Invariant stream generators using automatic abstract transformers based on a decidable logic
Pierre-Loïc Garoche
Temesghen Kahsai
Cesare Tinelli
Published in:
CoRR (2012)
Keyphrases
</>
fully automatic
data streams
real time
first order logic
asynchronous circuits
data sets
low level
higher level
automated reasoning
predicate logic
epistemic logic