Find link

language:

Find link is a tool written by Edward Betts.

searching for Refinement calculus 2 found (14 total)

Hennessy–Milner logic (647 words) [view diff] exact match in snippet view article find links to article

"Hennessy-Milner Logic with recursion as a specification language, and a refinement calculus based on it". Specification and Verification of Concurrent Systems

Promela (2,118 words) [view diff] case mismatch in snippet view article find links to article

(PDF) on 7 October 2015. CAVA project website Sharma, Asankhaya. "A Refinement Calculus for Promela." Engineering of Complex Computer Systems (ICECCS), 2013