Structural Invariants

DOI10.1007/11823230_6MaRDI QIDQ3613379zbMATH OpenOpenAlexFDO

Authors Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu

Publication date 12 March 2009

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11823230_6

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Structural invariants of two-dimensional systems
• Invariants
• Invariant structures and dependence relations
• Invariants and mathematical structuralism
• Structural invariance and the energy spectrum
• Structural invariants in crystallography and isometry of cyclotomic measures
• Invariants for non-hierarchical object structures
• Theory of invariants of structural tensor fields
• Structures preserved by matrix inversion

Cited in

(5)

• scientific article; zbMATH DE number 2079129 (Why is no real title available?)
• Invariance axioms and functional form restrictions in structural models
• Simpler proofs with decentralized invariants
• Approximate Structural Consistency
• Invariants for non-hierarchical object structures

This page was built for publication: Structural Invariants

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