TUSAIL School Linz 2023

Module "HPC & Parallelization" of the TUSAIL 2023 School in Linz.

Formal Methods in Software Development (Debrecen 2015)

This course gives an overview on tools and techniques for formally specifying, checking, and verifying Java programs.

Formal Methods for Concurrent Systems (Debrecen 2012)

This course presents the use of mathematically/logically rigorous methods that help in the development of correct concurrent systems.

Formal Methods for Distributed Systems (Debrecen 2011)

This short blocked course gives a survey on modeling and verifying distributed systems; we supplement the theoretical presentation by a practical demonstration of the model checker Spin.

Formal Methods for Distributed Systems (Debrecen 2009)

This short blocked course gives a survey on modeling and verifying distributed systems; we supplement the theoretical presentation by a practical demonstration of the model checker Spin.

Formal Methods for Distributed Systems (Debrecen 2007)

This short blocked course gives a survey on various methods and tools for modeling and reasoning about distributed systems.