alloy

Doświadczenia z wykorzystaniem stopu w rzeczywistych projektach

Od jakiegoś czasu interesuję się metodami formalnymi. Użyłem formalnych metod, aby wyjaśnić niektóre bardzo specyficzne obsza ... to w zaprojektowaniu lepszego modelu domeny? Czy znalazłeś błędy w modelu domeny podczas weryfikacji? Użyłbyś go jeszcze raz?