Theory and Applications of Models of Computation

DOI10.1007/11750321MaRDI QIDQ5898920zbMATH OpenOpenAlexFDO

Authors Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie

Publication date 30 April 2007

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

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

Mathematics Subject Classification ID

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

Recommendations

• Reasoning about GSTE assertion graphs
• A transformation-based approach to implication of GSTE assertion graphs
• Terminal satisfiability in GSTE
• scientific article; zbMATH DE number 1979544
• Computer Aided Verification

Cited in

(2)

• A transformation-based approach to implication of GSTE assertion graphs
• Reasoning about GSTE assertion graphs

This page was built for publication: Theory and Applications of Models of Computation

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