Login / Signup
Verifying synchronous reactive systems using lazy abstraction.
Kumar Madhukar
Mandayam K. Srivas
Björn Wachter
Daniel Kroening
Ravindra Metta
Published in:
DATE (2015)
Keyphrases
</>
data model
reactive systems
model checking
temporal logic
information flow
formal methods
object oriented
high level
formal specification
control flow
data mining
multi agent systems
real time systems
real time
multi agent
asynchronous communication