Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph.
Hiba OuniKais KlaiChiheb Ameur AbidBelhassen ZouariPublished 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