scientific article; zbMATH DE number 1953280

MaRDI QIDQ4414732zbMATH OpenFDO

Authors Hanne Riis Nielson, Flemming Nielson

Publication date 27 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2566/25660223.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• Flow logic for process calculi
• scientific article; zbMATH DE number 1231615
• Computer Aided Verification
• Model checking \textit{is} static analysis of modal logic
• A proof-theoretic approach to the static analysis of logic programs

Cited in

(21)

• Hybrid logical analyses of the ambient calculus
• Computer Aided Verification
• Relational Analysis of Correlation
• Flow logic for process calculi
• Control Flow Analysis of Generalised Boolean Networks
• Proof optimization for partial redundancy elimination
• Pathway analysis for BioAmbients
• A proof-theoretic approach to the static analysis of logic programs
• From flow logic to static type systems for coordination languages
• A framework for security analysis of mobile wireless networks
• Program and proof optimizations with type systems
• Control-flow analysis of function calls and returns by abstract interpretation
• Static analysis of topology-dependent broadcast networks
• Automated Reasoning with Analytic Tableaux and Related Methods
• A control flow analysis for Beta-binders with and without static compartments
• Dead code elimination based pointer analysis for multithreaded programs
• Recognition of logically related regions based heap abstraction
• A static analysis for beta-binders
• Correctness of static flow analysis in continuation semantics
• Heuristics for safety and security constraints
• Rethinking static analysis by combining discrete and continuous reasoning

This page was built for publication:

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