Ex4pm.Qualification.Powl.Correspondence (ex4pm v26.9.9)

Copy Markdown View Source

Executable two-way bounded POWL/Reactor correspondence court.

Summary

Functions

check(model, bound)

court()

sabotage(model, bound, mutation)