Static Partial Order Reduction for Probabilistic Concurrent Systems.
Álvaro Fernández DíazChristel BaierClara Benac EarleLars-Åke FredlundPublished in: QEST (2012)
Keyphrases
- concurrent systems
- partial order reduction
- model checking
- temporal logic
- petri net
- process algebra
- formal specification
- dynamic analysis
- transition systems
- finite state
- bayesian networks
- data driven
- probabilistic logic
- distributed systems
- generative model
- probabilistic model
- formal methods
- decision trees
- probabilistic reasoning
- databases
- service oriented
- probabilistic approaches
- reactive systems
- case study
- information systems
- social networks