Learning weighted assumptions for compositional verification of Markov decision processes
Probabilistic models are widely deployed in various systems. To ensure their correctness,
verification techniques have been developed to analyze probabilistic systems. We propose …
verification techniques have been developed to analyze probabilistic systems. We propose …
Learning-based assume-guarantee regression verification
F He, S Mao, BY Wang - International Conference on Computer Aided …, 2016 - Springer
Due to enormous resource consumption, model checking each revision of evolving systems
repeatedly is impractical. To reduce cost in checking every revision, contextual assumptions …
repeatedly is impractical. To reduce cost in checking every revision, contextual assumptions …
Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems
We propose the first sound and complete learning-based compositional verification
technique for probabilistic safety properties on concurrent systems where each component …
technique for probabilistic safety properties on concurrent systems where each component …