Property checking via structural analysis

DOI10.1007/3-540-45657-0_12MaRDI QIDQ4804893zbMATH OpenFDO

Authors Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham

Publication date 1 May 2003

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Structural evaluation by generalized integral property
• Verification of structural stability
• Structural Analysis
• Structural, Syntactic, and Statistical Pattern Recognition
• Algorithmic and analysis techniques in property testing
• On a method of structural analysis
• Property testing. Problems and techniques
• Assessment of structural damage and failure
• Structural Analysis
• scientific article; zbMATH DE number 42027

Cited in

(8)

• Formally verified algorithms for upper-bounding state space diameters
• Verified over-approximation of the diameter of propositionally factored transition systems
• Linear completeness thresholds for bounded model checking
• SAT-Based Model Checking
• scientific article; zbMATH DE number 1857651 (Why is no real title available?)
• AI Planning Languages Semantics
• Verified SAT-Based AI Planning
• Upper Bounding Diameters of State Spaces of Factored Transition Systems

This page was built for publication: Property checking via structural analysis

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