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