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?