Inference of ranking functions for proving temporal properties by abstract interpretation

From MaRDI portal
Publication:681349

DOI10.1016/j.cl.2015.10.001zbMath1379.68101OpenAlexW2217958612MaRDI QIDQ681349

Antoine Miné, Caterina Urban

Publication date: 30 January 2018

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: https://hal.sorbonne-universite.fr/hal-01312239/file/article-urban-mine-comlan2015.pdf




Related Items (1)


Uses Software


Cites Work


This page was built for publication: Inference of ranking functions for proving temporal properties by abstract interpretation