PAT (kontroler modeli)

POKLEPAĆ
Deweloperzy	Narodowy Uniwersytet w Singapurze
Pierwsze wydanie	2008
Wersja stabilna	3.5.1 / 13 sierpnia 2013 ; 9 lat temu
Napisane w	C#
System operacyjny	Windows ; Linux , Unix , Mac OS X z Mono
Platforma	.Net 3.0
Dostępne w	; ; ; ; ; Angielski chiński (uproszczony) chiński (tradycyjny) japoński niemiecki wietnamski
Typ	Sprawdzenie modelu
Strona internetowa	http://pat.comp.nus.edu.sg/

PAT (Process Analysis Toolkit) to samowystarczalny framework do komponowania, symulowania i rozumowania współbieżnych systemów czasu rzeczywistego i innych możliwych domen. Zawiera interfejsy użytkownika, edytor modeli i animowany symulator. PAT wdraża różne sprawdzania modeli uwzględniające różne właściwości, takie jak brak impasu i rozbieżności , osiągalność, właściwości LTL z założeniami słuszności, sprawdzanie udoskonalania i probabilistyczne sprawdzanie modelu. Aby osiągnąć dobrą wydajność, w PAT implementowane są zaawansowane techniki optymalizacyjne, np redukcja rzędu częściowego , redukcja symetrii , abstrakcja licznika procesów.

Linki zewnętrzne