scientific article; zbMATH DE number 1487855

MaRDI QIDQ4494380zbMATH OpenFDO

Authors Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu

Publication date 10 August 2000

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:

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