Inference of ranking functions for proving temporal properties by abstract interpretation

Elsevier, Computer Languages, Systems and Structures

Journal article published in 2015 by Caterina Urban, Antoine Miné

This paper is available in a repository.

Full text: Download

Preprint: archiving allowed

Upload

Postprint: archiving forbidden

Published version: archiving forbidden

Policy details

Data provided by