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

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Logic for reasoning about bugs in loops over data sequences (IFIL) ⋮ Unnamed Item

Uses Software

• C-Light

This page was built for publication: Towards verification of C programs. C-light language and its formal semantics