Login / Signup
VerC3: A library for explicit state synthesis of concurrent systems.
Marco Elver
Christopher J. Banks
Paul B. Jackson
Vijay Nagarajan
Published in:
DATE (2018)
Keyphrases
</>
concurrent systems
transition systems
temporal logic
real time
databases
database
neural network
data mining
computer vision
information systems
reinforcement learning
state space
model checking
formal specification
process algebra