COSMA has been created at my University by Jerzy Miescicki. This is formal approach to verification of concurrent programs using automatons. Picture shows graphical syntax used to describe automatons. One can design interactively a system (consisting few automatons) and generate for it Reachability Graph.
(...) Nie ma bowiem łatwych odpowiedzi. Nie istnieje nic takiego jak najlepsze rozwiązanie - zarówno jeśli chodzi o narzędzia, jak i języki czy systemy operacyjne. Są jedynie systemy, które mogą być bardziej odpowiednie w konkretnych okolicznościach.
I tu właśnie do gry wchodzi pragmatyzm. Nie należy przywiązywać się do żadnej określonej metody, ale mieć na tyle rozległą wiedzę i doświadczenie, by w danej sytuacji wybrać dobre rozwiązanie. (...)
Andrew Hunt, David Thomas "Pragmatyczny Programista"
