Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement

DOI10.1007/978-3-662-46669-8_25zbMath1335.68072OpenAlexW2405632285MaRDI QIDQ2802457

Hiroshi Unno, Tachio Terauchi

Publication date: 26 April 2016

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.723.5420

Mathematics Subject Classification ID

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

Related Items (1)

Constraint-based relational verification

This page was built for publication: Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement