Static Analysis and Stochastic Search for Reachability Problem

Abstract : This paper focuses on a major improvement on the analysis of reachability properties in large-scale dynamical biological models. To tackle such models, where classical model checkers fail due to state space explosion led by exhaustive search. Alternative static analysis approaches have been proposed, but they may also fail in certain cases due to non-exhaustive search. In this paper, we introduce a hybrid approach ASPReach, which combines static analysis and stochastic search to break the limits of both approaches. We tackle this issue on a modeling framework we recently introduced, Asynchronous Binary Automata Network (ABAN). We show that ASPReach is able to analyze efficiently some reachability properties which could not be solved by existing methods. We studied also various cases from biological literature, emphasizing the merits of our approach in terms of conclusiveness and performance. keyword: Model checking,
Type de document :
Communication dans un congrès
9th Workshop on Static Analysis and Systems Biology (SASB 2018), Aug 2018, Freiburg, Germany. 〈https://www.mcss.uni-konstanz.de/sasb-2018/〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01951251
Contributeur : Xinwei Chai <>
Soumis le : mardi 11 décembre 2018 - 12:22:43
Dernière modification le : jeudi 7 février 2019 - 15:38:28

Fichier

SASB2018_HAL.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01951251, version 1

Citation

Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue. Static Analysis and Stochastic Search for Reachability Problem. 9th Workshop on Static Analysis and Systems Biology (SASB 2018), Aug 2018, Freiburg, Germany. 〈https://www.mcss.uni-konstanz.de/sasb-2018/〉. 〈hal-01951251〉

Partager

Métriques

Consultations de la notice

52

Téléchargements de fichiers

41