Finding recurrent sets with backward analysis and trace partitioning

DOI10.1007/978-3-662-49674-9_2zbMath1420.68063OpenAlexW2337307448MaRDI QIDQ2272913

Alexey Bakhirkin, Nir Piterman

Publication date: 17 September 2019

Full work available at URL: https://link.springer.com/chapter/10.1007/978-3-662-49674-9_2

Mathematics Subject Classification ID

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

Related Items (1)

Proving Termination Through Conditional Termination

This page was built for publication: Finding recurrent sets with backward analysis and trace partitioning