Formal verification of function blocks applied to IEC 61131-3

Functional documents for computer systems

David Lorge Parnas, Jan Madey · Science of Computer Programming · 1995 · 413 citations

Computing, Computer Science, Computer Systems +13

INTERNATIONAL ELECTROTECHNICAL COMMISSION TECHNICAL COMMITTEE No. 65B: INDUSTRIAL-PROCESS MEASUREMENT AND CONTROL WORKING GROUP 7/TASK FORCE 3: PROGRAMMING LANGUAGES FOR PROGRAMMABLE CONTROLLERS (IEC 61131-3, -8) MINUTES OF MEETING

James H. Christensen, Robert J. Kretschmann, Anne Martel et al. · 2007 · 190 citations

Engineering, Electrical Engineering, Systems Engineering +16

Towards the automatic verification of PLC programs written in Instruction List

Géraud Canet, S. Couffin, Jean-Jacques Lesage et al. · 2002 · 120 citations

Computing, Computer Engineering, Computer Science +16

Precise documentation of well-structured programs

David Lorge Parnas, Jan Madey, Michal Iglewski · IEEE Transactions on Software Engineering · 1994 · 105 citations · Full text

Computing, Computer Science, Documentation +8

A generalized control structure and its formal definition

David Lorge Parnas · Communications of the ACM · 1983 · 82 citations · Full text

Computing, Computer Science, Formal Methods +14