Typestate checking of machine code

DOI10.1007/3-540-45309-1_22MaRDI QIDQ2763682zbMATH OpenFDO

Authors Zhichen Xu, Barton P. Miller, Thomas Reps

Publication date 21 January 2002

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/2028/20280335

Mathematics Subject Classification ID

Theory of software (68N99) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2087533
• Verification, Model Checking, and Abstract Interpretation
• scientific article; zbMATH DE number 1949628
• scientific article; zbMATH DE number 1956458
• Checking algorithms for Pure Type Systems
• Typing local control and state using flow analysis
• Typestate verification: abstraction techniques and complexity results
• scientific article; zbMATH DE number 2090861
• A semantics for type checking

Cited in

(2)

• scientific article; zbMATH DE number 1949628 (Why is no real title available?)
• Safe and flexible dynamic linking of native code

This page was built for publication: Typestate checking of machine code

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