Formal methods

Resource history | v1 (current) | created by jjones

Details

Formal methods

| created by jjones | Add topic "MCRL2"
Title
Formal methods
Type
Course
Created
no value
Description
In this course, we will study a collection of techniques that are essential in the construction of large and highly reliable systems.
Link
https://satoss.uni.lu/courses/formalmethods/
Identifier
MICS2-22

authors

This resource has no history of related authors.

topics

about Alloy
v1 | attached by jjones | Add topic "MCRL2"
about MCRL2
v1 | attached by jjones | Add topic "MCRL2"

resources

This resource has no history of related resources.