Region analysis for deductive verification of C programs

DOI10.1134/S0361768816050042zbMath1452.68051MaRDI QIDQ2216720

A. V. Khoroshilov, M. U. Mandrykin

Publication date: 16 December 2020

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• ML
• Frama-C
• VCC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of type polymorphism in programming
• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• Guarded commands, nondeterminacy and formal derivation of programs
• An axiomatic basis for computer programming

This page was built for publication: Region analysis for deductive verification of C programs