Logico-Numerical Max-Strategy Iteration

DOI10.1007/978-3-642-35873-9_25zbMath1426.68062OpenAlexW1503248989MaRDI QIDQ2926655

Pavle Subotić, Peter Schrammel

Publication date: 3 November 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://sro.sussex.ac.uk/id/eprint/60807/1/vmcai13.pdf

zbMATH Keywords

verificationstatic analysisabstract interpretationstrategy iteration

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Logico-Numerical Max-Strategy Iteration