Login / Signup
Parameterized Verification of Systems with Global Synchronization and Guards.
Nouraldin Jaber
Swen Jacobs
Christopher Wagner
Milind Kulkarni
Roopsha Samanta
Published in:
CAV (1) (2020)
Keyphrases
</>
computer systems
expert systems
computer vision
genetic algorithm
management system
formal verification
real time
databases
artificial intelligence
learning systems
complex systems
model checking
formal methods
security systems
asynchronous circuits
automated verification