Work

Certainty in Formalising SMT-LIB for Strings in Isabelle

Year: 2025

Type: article

Source: International Journal of Foundations of Computer Science

DOI: 10.1142/s0129054125410035

Authors: Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull

Institutions: Christian-Albrechts-Universität zu Kiel, Aalborg University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4408941360

FWCI:

Cites:

Cited by:

Related to: 10