Mercurius
Mercurius - Automatically Verifying Communication-Centered Programs
Program to be verified
Please select program
Rock-Paper-Scissors (A)
Rock-Paper-Scissors (B)
Rock-Paper-Scissors (C)
Rock-Paper-Scissors (D)
Calculator (Simple)
Calculator (General Spec)
Media Cloud Service (Simple)
Media Cloud Service (SS ; RR)
Media Cloud Service (SR ; SR)
(old binary) simple
(old binary) delegation
(old binary) disjunction
Pass-By-Ref (Actris)
Simple Send/Recv (Actris)
New SS file
Visualize header file
Please select file
node
hodef
commprimitives
Technical Report
Results
Method
Verification Details