The following pages link to Static Analysis (Q5466579):
Displayed 12 items.
- An analysis for causal properties of membrane interactions (Q275996) (← links)
- A framework for security analysis of mobile wireless networks (Q860908) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
- Predictors for flat membrane systems (Q1643137) (← links)
- A monotone framework for CCS (Q1749243) (← links)
- Causal static analysis for brane calculi (Q2348028) (← links)
- A static analysis for brane calculi providing global occurrence counting information (Q2405890) (← links)
- Control Flow Analysis for Brane Calculi (Q5179425) (← links)
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)
- A Global Occurrence Counting Analysis for Brane Calculi (Q5743592) (← links)