Compositional Correctness and Completeness for Symbolic Partial Order Reduction.

Åsmund Aqissiaq Arild Kløvstad Eduard Kamburjan Einar Broch Johnsen

Published in: CONCUR (2023)

Keyphrases

partial order reduction
model checking
petri net
high level
preprocessing
artificial intelligence
information technology
decision making
data structure
search algorithm
databases
genetic algorithm
information retrieval
binary decision diagrams
neural learning
conceptual spaces
formal proofs
real world