scientific article; zbMATH DE number 3675290

MaRDI QIDQ3871899zbMATH OpenFDO

Authors Patrick Cousot, Radhia Cousot

Publication date 1980

zbMATH Keywords

absence of deadlockcorrectnessinvariance proof methodnetworks of nondeterministic sequential processesnon-terminationsemantic analysis techniques for concurrent programsverification

Mathematics Subject Classification ID

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

Cited in

(4)

• A proof technique for communicating sequential processes
• Data flow analysis of distributed communicating processes
• Semantics of algorithmic languages
• A weakest precondition semantics for communicating processes

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 Q3871899)