Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices
From MaRDI portal
Publication:2801762
DOI10.1007/978-3-662-49665-7_11zbMath1378.68023OpenAlexW2470141408MaRDI QIDQ2801762
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
Publication date: 21 April 2016
Published in: Fundamental Approaches to Software Engineering (Search for Journal in Brave)
Full work available at URL: https://hal-cea.archives-ouvertes.fr/cea-01808894/file/Lechenet2016.pdf
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Efficient computation of arbitrary control dependencies ⋮ Cut branches before looking for bugs: certifiably sound verification on relaxed slices
Uses Software
This page was built for publication: Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices
