From Low-Level Pointers to High-Level Containers

DOI10.1007/978-3-662-49122-5_21zbMath1475.68084arXiv1510.07995OpenAlexW1889738506MaRDI QIDQ2796068

Tomáš Vojnar, Petr Peringer, Lukáš Holík, Kamil Dudka, Marek Trtík

Publication date: 23 March 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.07995

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Predicate Abstraction in Program Verification: Survey and Current Trends

Uses Software

• SLAyer
• MemPick