Login / Signup
Specification and automated verification of atomic concurrent real-time transactions.
Simin Cai
Barbara Gallina
Dag Nyström
Cristina Seceleanu
Published in:
Softw. Syst. Model. (2021)
Keyphrases
</>
automated verification
real time
formal verification
model checking
automated reasoning
low cost
concurrent execution
timing constraints
bayesian networks
hybrid automata
real time systems
specification language
real time database systems
formal methods
transaction processing
expert systems
high level