Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph.

Hiba Ouni Kais Klai Chiheb Ameur Abid Belhassen Zouari

Published in: ACSD (2019)

Keyphrases

concurrent systems
temporal logic
distributed systems
model checking
process algebra
formal specification
petri net

transition systems
random walk
parallel processing
depth first search
directed acyclic graph
graph theory
graph structure

graph model
graph representation
parallel implementation
weighted graph
directed graph
undirected graph

neural network
formal verification
verification method
connected components
structured data
bayesian networks