The influence of software module systems on modular verification

DOI10.1007/3-540-46017-9_7MaRDI QIDQ4738467zbMATH OpenFDO

Authors Harry C. Li, Kathi Fisler, Shriram Krishnamurthi

Publication date 11 August 2004

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/2318/23180060.htm

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automating modular verification
• Practical Efficient Modular Linear-Time Model-Checking
• Exploiting hierarchical structure for efficient formal verification
• scientific article; zbMATH DE number 177256
• Syntax-directed model checking of sequential programs

Cited in

(1)

• On the correctness of modular systems

Describes a project that uses

Uses Software

• DrScheme

This page was built for publication: The influence of software module systems on modular verification

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