Abstract interpretation from Büchi automata
Publication:4635636
DOI10.1145/2603088.2603127zbMath1401.68162MaRDI QIDQ4635636
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
68Q45: Formal languages and automata
68Q65: Abstract data types; algebraic specification
06B05: Structure theory of lattices
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
06A15: Galois correspondences, closure operators (in relation to ordered sets)