Verification of a program complex

DOI10.1007/BF01930855MaRDI QIDQ4194415zbMATH OpenOpenAlexFDO

Authors Bo Sanden

Publication date 1979

Published in BIT (Search for Journal in Brave)

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

zbMATH Keywords

Database SystemProcessesProgram VerificationState Space

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• scientific article; zbMATH DE number 3420253 (Why is no real title available?)
• Monitors
• Proof of a program

Describes a project that uses

Uses Software

• Find

This page was built for publication: Verification of a program complex

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