Login / Signup
RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification.
Maren Geske
Marc Jasper
Bernhard Steffen
Falk Howar
Markus Schordan
Jaco van de Pol
Published in:
ISoLA (2) (2016)
Keyphrases
</>
model checking
temporal logic
bounded model checking
linear time temporal logic
neural network
parallel processing
parallel implementation
verification method
concurrent systems
database
knowledge base
bayesian networks
scheduling problem
formal methods
formal verification