Work

Validation of CHC Satisfiability with ATHENA

Year: 2025

Type: article

Source: Formal Aspects of Computing

DOI: 10.1145/3716505

Authors: Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina

Institutions: Università della Svizzera italiana, Charles University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung, Grantová Agentura České Republiky

Awards: Advanced Analysis and Verification for Advanced Software, Beyond Symbolic Model Checking through Deep Modelling, BASIS (hyBrid Asynchronous/Synchronous dIstributed Systems)

OpenAlex ID: W4407546744

FWCI: 1.441

Cites: 33

Cited by: 3

Related to: 10