Relaxed stratification: a new approach to practical complete predicate refinement

DOI10.1007/978-3-662-46669-8_25MaRDI QIDQ2802457zbMATH OpenOpenAlexFDO

Authors Tachio Terauchi, Hiroshi Unno

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)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Partial predicate abstraction and counter-example guided refinement
• Refinement of Trace Abstraction
• scientific article; zbMATH DE number 1670775
• scientific article; zbMATH DE number 1834576

Cited in

(2)

• Tools and Algorithms for the Construction and Analysis of Systems
• Constraint-based relational verification

This page was built for publication: Relaxed stratification: a new approach to practical complete predicate refinement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2802457)