Login / Signup
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