scientific article; zbMATH DE number 1479614

MaRDI QIDQ4490726zbMATH OpenFDO

Authors Henri Korver, J. Springintveld

Publication date 20 July 2000

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 4060694
• A computer checked algebraic verification of a distributed summation algorithm
• Schedulers are no prophets
• Partial specifications and compositional verification
• scientific article; zbMATH DE number 2102718

Cited in

(8)

• Formalizing process algebraic verifications in the calculus of constructions
• Formal verification of a leader election protocol in process algebra
• Verification of the legOS scheduler using Uppaal
• Network algebra for asynchronous dataflow^∗
• Automatic Verification of Bossa Scheduler Properties
• The parallel composition of uniform processes with data
• Confluence for process verification
• On process equivalence = equation solving in CCS

Describes a project that uses

Uses Software

• Coq
• Nuprl

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