Abstract interpretation from Büchi automata

DOI10.1145/2603088.2603127zbMath1401.68162OpenAlexW2016143798MaRDI QIDQ4635636

Wei Chen, Martin Hofmann

Publication date: 23 April 2018

Published in: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/19353649/Hofmann_Chen_2014_Abstract_interpretation_from_buchi_automata.pdf

zbMATH Keywords

livenesstype systemstemporal propertiestype-and-effect systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Structure theory of lattices (06B05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items

Enforcing Programming Guidelines with Region Types and Effects, Automated temporal verification for algebraic effects, Temporal refinements for guarded recursive types, Calculational design of a regular model checker by abstract interpretation, Domains for Higher-Order Games