Find link

language:

Find link is a tool written by Edward Betts.

searching for Construction and Analysis of Distributed Processes 2 found (5 total)

alternate case: construction and Analysis of Distributed Processes

Model checking (2,788 words) [view diff] exact match in snippet view article find links to article

Lazy Abstraction Software Verification Tool) CADP (Construction and Analysis of Distributed Processes) a toolbox for the design of communication protocols

NuSMV (590 words) [view diff] exact match in snippet view article find links to article

model checker for asynchronous software systems CADP (Construction and Analysis of Distributed Processes), a toolbox for the formal design of asynchronous