The RAISE specification language, method, and tools (via nextos) — discussion

#formalmethods