This is the learning environment for the book Formal Methods – An Appetizer
(link to https://www.springer.com/gp/book/9783030051556)
fm4fun (link to http://www.FormalMethods.dk/fm4fun) is a tool supporting the language and concepts from Chapters 1 to 5 of the book
rec4fun (link to http://www.FormalMethods.dk/rec4fun) is a tool supporting procedures from Chapter 7 of the book
par4fun (link to http://www.FormalMethods.dk/par4fun) is a tool supporting concurrency from Chapter 8 of the book
Videos for the book are available at the YouTube channel FormalMethodsDK
(link to https://www.youtube.com/channel/UC__9w8R4Bbi04G7zbH9gzBw/playlists)
Slides for the book are available at the Google Drive for professor.flemming.nielson
(link to https://drive.google.com/drive/folders/1pY7hhBj_D2X0I7jWim1yJgrx44IDrsZ7?usp=sharing)
This is the learning environment for the book manuscript Program Analysis – An Appetizer
pa4fun (link to http://www.FormalMethods.dk/pa4fun) is a tool supporting some concepts from Chapters 1 to 5 of the book
if4fun (link to http://www.FormalMethods.dk/if4fun) is a tool supporting some concepts from Chapter 7 of the book
This is the learning environment for Tuple Spaces
tup4fun (link to http://www.FormalMethods.dk/tup4fun) is a tool supporting some concepts in distributed programming with tuple spaces