On the computation of counterexamples in compositional nonblocking verification.

Robi Malik Simon Ware

Published in: Discret. Event Dyn. Syst. (2020)

Keyphrases

model checking
website
web services
concurrent systems
information retrieval
artificial intelligence
image processing
face recognition
search algorithm
evolutionary algorithm
range queries
temporal logic
parallel computation