Work

Synthesizing Safe Bit-Precise Invariants

Year: 2014

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

DOI: 10.1007/978-3-642-54862-8_7

Authors: Arie Gurfinkel, Anton Belov, Joao Marques-Silva

Institutions: Carnegie Mellon University, University College Dublin

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: U.S. Department of Defense, Carnegie Mellon University, Science Foundation Ireland, Fundação para a Ciência e a Tecnologia

Awards: G116927039, POLARIS: Algoritmos para a Hierarquia Polinomial, ATTEST: Algoritmos e Ferramentas para Análise de Sistemas Robustos, G5926907248, BEACON: BoolEAn-based deCision and OptimizatioN procedures

OpenAlex ID: W86998299

FWCI: 2.913

Cites: 41

Cited by: 21

Related to: 10