Conversion of ST Control Programs to ANSI C for Verification Purposes
暂无分享,去创建一个
[1] Pierre Castéran,et al. Interactive Theorem Proving and Program Development , 2004, Texts in Theoretical Computer Science An EATCS Series.
[2] Lucid Synchrone,et al. Tutorial and Reference Manual , 2007 .
[3] Bertrand Meyer,et al. Applying 'design by contract' , 1992, Computer.
[4] Richard Bornat,et al. Proving Pointer Programs in Hoare Logic , 2000, MPC.
[5] Hilla Peretz,et al. The , 1966 .
[6] Albert L. Baker,et al. JML: A Notation for Detailed Design , 1999, Behavioral Specifications of Businesses and Systems.
[7] MeyerBertrand,et al. Design by Contract , 1997 .
[8] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[9] Keith D. Cooper,et al. Engineering a Compiler , 2003 .
[10] M. de Sousa,et al. An Open Source IEC 61131-3 Integrated Development Environment , 2007, 2007 5th IEEE International Conference on Industrial Informatics.
[11] Dariusz Rzonca,et al. Open environment for programming small controllers according to IEC 61131-3 standard , 2009, Scalable Comput. Pract. Exp..