< Retour au sommaire

Static Analysis in KaSa

Kim Quyen Ly le

Lieu: Salle 1073

Abstract

This work (2015–2018) advances static analysis in Kappa and its analyzer, KaSa, improving model verification without full simulation. Kappa models biochemical interactions via site-graph rewriting, while KaSa ensures correctness and detects errors.

We develop two key techniques: Local Traces, which approximate protein evolution via local transition systems and simplicial complexes for efficient debugging, and Reachability Analysis, which identifies reachable states using orthogonal patterns and fixpoint computations, detecting invariants and dead rules.

Implemented in KaSa, these methods enhance scalability, accuracy, and interpretability in biochemical model verification.