Strona udostępniająca informacje o projekcie badawczym "Metodyka specyfikacji, weryfikacji i implementacji oprogramowania dla systemów sterowania".

 

 

 

Kompilator konwertujący kod z języka ST do postaci ANSI C z asercyjnym rozszerzeniem STVCGen - v 0.1.1 (265.2kB).

Raport techniczny opisujący rozszerzenie metodyki o współpracę z weryfikatoremm Frama C

 

 

Ostatnia modyfikacja 2011.02-21 09:45 CET