State space reduction based on live variables analysis

DOI10.1007/3-540-48294-6_11MaRDI QIDQ4494380zbMATH OpenFDO

Authors Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu

Publication date 10 August 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48294-6_11

zbMATH Keywords

automated validation toolsmodel-checkingstatic analysis

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• State space reduction based on live variables analysis.
• Static analysis for state-space reductions preserving temporal logics
• State space reduction for process algebra specifications
• Algebraic Methodology and Software Technology
• State space reduction of linear processes using control flow reconstruction

Cited in

(6)

• State space reduction based on live variables analysis.
• On partial state matching
• Abstract interpretation of microcontroller code: intervals meet congruences
• State space reduction of linear processes using control flow reconstruction
• Application of static analyses for state-space reduction to the microcontroller binary code
• State space reduction for process algebra specifications

This page was built for publication: State space reduction based on live variables analysis

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