Incremental KaSa: static analysis of kappa models at edit time

DOI10.1007/978-3-032-30870-2_8MaRDI QIDQ7412001zbMATH OpenFDO

Authors Rebecca Ghidini, Jerome Feret

Publication date 2027

Full work available at URL https://doi.org/10.1007/978-3-032-30870-2_8

zbMATH Keywords

formal methodsrule-based modelingstatic analysis

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to biology (92-04) Systems biology, networks (92C42)

Cites work

• Abstract Interpretation of Cellular Signalling Networks
• An Incremental Algorithm for a Generalization of the Shortest-Path Problem
• Decremental maintenance of reachability in hypergraphs and minimum models of Horn formulae
• Efficient local computation of differential bisimulations via coupling and up-to methods
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 2044509 (Why is no real title available?)
• Incremental verification using trace abstraction
• Reachability analysis for parametric rule-based models
• Reachability analysis via orthogonal sets of patterns
• Rule-Based Modelling of Cellular Signalling

This page was built for publication: Incremental KaSa: static analysis of kappa models at edit time

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7412001)