PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 e-Informatica Software Engineering Journal
Autorzy help
  1. 1 Sadolewski J.
Lata help
  1. 1 2011
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  Behavioral Interface Specification Language
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Conversion of ST control programs to ANSI C for verification purposes
Sadolewski J.
e-Informatica Software Engineering Journal
|
2011
|
Vol. 5, nr 1
65--76
EN
The paper presents a Behavioral Interface Specification Language for control programs written in ST language of IEC 61131-3 standard. The specification annotations are stored as special comments in ST code. The code and comments are then converted into ANSI C form for further transformation with Caduceus and Why tools. Verification of compliance between specification and code is performed in Coq.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.