Automated conversion of ST control programs to why for verification purposes
暂无分享,去创建一个
[1] Albert L. Baker,et al. JML: A Notation for Detailed Design , 1999, Behavioral Specifications of Businesses and Systems.
[2] Bertrand Meyer,et al. Applying 'design by contract' , 1992, Computer.
[3] Pierre Castéran,et al. Interactive Theorem Proving and Program Development , 2004, Texts in Theoretical Computer Science An EATCS Series.
[4] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[5] Christine Paulin-Mohring,et al. The coq proof assistant reference manual , 2000 .
[6] J. Filliâtre,et al. ACSL: ANSI/ISO C Specification Language , 2008 .
[7] Bertrand Meyer,et al. Eiffel: The Language , 1991 .
[8] Bernd J. Krämer,et al. Modular Verification of Function Block Based Industrial Control Systems , 1999 .
[9] Jan Sadolewski. Conversion of ST Control Programs to ANSI C for Verification Purposes , 2011, e Informatica Softw. Eng. J..