Semi-automated reasoning about non-determinism in C expressions

DOI10.1007/978-3-030-17184-1_3zbMath1524.68085OpenAlexW2931620665MaRDI QIDQ6091297

Dan Frumin, Robbert Krebbers, Léon Gondelman

Publication date: 24 November 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-17184-1_3

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) 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)

Related Items (1)

The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics

This page was built for publication: Semi-automated reasoning about non-determinism in C expressions