Formale Verifikation von SPS-Programmen

VDI Berichte

Volumn , Issue 1282, 1996, Pages 25-34

  Holzlein M ^a   Filkorn, Th ^a   Warkentin, P ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 2742587385     PISSN: 00835560     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Article

References (4)

1. Siemens: SIMATIC HiGraph für S7-300/400, Zustandsgraphen programmieren Handbuch, C79000-G7000-C208-01
2. McMillan, Ken L.: Symbolic Model Checking. Amsterdam: Kluwer 1993.
3. Hoare, C. A. R.: An Axiomatic Basis for Computer Programming. C.ACM, 12, 1969. S.576-580.
4. Dijkstra, E. W.: A Discipline of Programming. Englewood Cliffs, NewJersey: Prentice-Hall 1976.