Formal Methods – A Learning Environment

fm4fun is a tool supporting the language and concepts from Chapters 1 to 5 of the book Formal Methods – An Appetizer.

Formal Methods – A Learning Environment (Recursion)

rec4fun is a tool supporting procedures from Chapter 7 of the book Formal Methods – An Appetizer.

Formal Methods – A Learning Environment (Concurrency)

par4fun is a tool supporting concurrency from Chapter 8 of the book Formal Methods – An Appetizer.

Program Analysis – A Learning Environment

pa4fun is a tool supporting some concepts from the notes Program Analysis – An Appetizer.

Information Flow – A Learning Environment

if4fun is a tool supporting some concepts from the notes Language Based Security: Information Flow.

Tuple spaces – A Learning Environment

tup4fun is a tool supporting some concepts in distributed programming with tuple spaces.