Ja głównie stosuję SP na zajęciach dydaktycznych, m.in. w elearningu. Potrzebne są mi też do rozprawy doktorskiej jako jedna z metod formalnych modelowania.
Fajnie, że ktoś porusza takie tematy. Metody formalne to przyszłość. Zobaczymy co inni napiszą.