Formal methods

Resource | v1 | created by jjones |
Type Course
Created unavailable
Identifier MICS2-22


In this course, we will study a collection of techniques that are essential in the construction of large and highly reliable systems.


about Alloy

In computer science and software engineering, Alloy is a declarative specification language for expre...

about MCRL2

mCRL2 is a specification language for describing concurrent discrete event systems. It is accompanied...

Edit details Edit relations Attach new author Attach new topic Attach new resource
0.0 /10
useless alright awesome
from 0 reviews
Write comment Rate resource Tip: Rating is anonymous unless you also write a comment.
Resource level 0.0 /10
beginner intermediate advanced
Resource clarity 0.0 /10
hardly clear sometimes unclear perfectly clear
Reviewer's background 0.0 /10
none basics intermediate advanced expert
Comments 0
Currently, there aren't any comments.