Consistency analysis of decision-making programs

DOI10.1145/2535838.2535858zbMath1284.68386OpenAlexW2146782276MaRDI QIDQ5408449

Azadeh Farzan, Swarat Chaudhuri, Zachary Kincaid

Publication date: 10 April 2014

Published in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

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

zbMATH Keywords

geometryuncertaintyrobustnessconsistencyprogram analysis

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Guiding Craig interpolation with domain-specific abstractions

This page was built for publication: Consistency analysis of decision-making programs