scientific article; zbMATH DE number 3903944

MaRDI QIDQ3681909zbMATH OpenFDO

Authors Krzysztof R. Apt

Publication date 1985

zbMATH Keywords

static analysistotal correctnessproof system for CSP programs

Mathematics Subject Classification ID

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

Recommendations

• Total correctness of CSP programs
• scientific article; zbMATH DE number 3890704
• scientific article; zbMATH DE number 3963180
• Proof principles of CSP -- CSP-prover in practice
• scientific article; zbMATH DE number 3878340

Cited in

(16)

• scientific article; zbMATH DE number 2013592 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 4052987 (Why is no real title available?)
• scientific article; zbMATH DE number 3890715 (Why is no real title available?)
• scientific article; zbMATH DE number 3890704 (Why is no real title available?)
• Total correctness of CSP programs
• Proof of program correctness based on Kripke structure
• Corrigenda:Cooperating proofs for distributed programs with multiparty interactions
• Proof theory for exception handling in a tasking environment
• scientific article; zbMATH DE number 3878340 (Why is no real title available?)
• scientific article; zbMATH DE number 3911719 (Why is no real title available?)
• Redundant proofs of non-interference in Levin-Gries CSP program proofs
• Proof principles of CSP -- CSP-prover in practice
• Partial correctness of exits from concurrent structures
• scientific article; zbMATH DE number 3963180 (Why is no real title available?)
• Proof rules for fault tolerant distributed programs

This page was built for publication:

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