Towards verification of C programs. C-light language and its formal semantics

DOI10.1023/A:1021045909505zbMath1035.68064MaRDI QIDQ1403260

D. Massart

Publication date: 1 September 2003

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

structured operational semantics

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

Uses Software

• C-Light