Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic

DOI10.1007/978-3-662-54434-1_23zbMath1485.68068arXiv1610.07041MaRDI QIDQ2988661

Florian Zuleger, Thomas Noll, Christina Jansen, Christoph Matheja, Jens Katelaan

Publication date: 19 May 2017

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

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

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03B70: Logic in computer science

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• Predator
• VeriFast
• SLAyer
• HIP
• Smallfoot
• THOR
• Cyclist
• coreStar
• Infer
• Slide