Bounded Model Checking of Recursive Programs with Pointers in K

DOI10.1007/978-3-642-37635-1_4zbMath1394.68220OpenAlexW2139533895MaRDI QIDQ2848871

Jurriaan Rot, Irina Măriuca Asăvoae, Dorel Lucanu, Marcello M. Bonsangue, Frank S. de Boer

Publication date: 13 September 2013

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37635-1_4

zbMATH Keywords

model checkingpushdown systems\(\mathbb{K}\) framework

Mathematics Subject Classification ID

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

• K tool

This page was built for publication: Bounded Model Checking of Recursive Programs with Pointers in K