Login / Signup
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees.
Marc Jasper
Maximilian Schlüter
David Schmidt
Bernhard Steffen
Published in:
ISoLA (4) (2020)
Keyphrases
</>
parallel implementation
parallel processing
parallel programming
model checking
neural network
parallel execution
np hard
computational complexity
parallel algorithm
worst case
temporal logic
shared memory
parallel computing
massively parallel
computer architecture
formal verification
database