The Vampire Diary

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21730%2F25%3A00387592" target="_blank" >RIV/68407700:21730/25:00387592 - isvavai.cz</a>

Result on the web

<a href="https://doi.org/10.1007/978-3-031-98682-6_4" target="_blank" >https://doi.org/10.1007/978-3-031-98682-6_4</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-031-98682-6_4" target="_blank" >10.1007/978-3-031-98682-6_4</a>

Result language

angličtina

Original language name

The Vampire Diary

Original language description

During the past decade of continuous development, the theorem prover Vampire has become an automated solver for the combined theories of commonly-used data structures. Vampire now supports arithmetic, induction, and higher-order logic. These advances have been made to meet the demands of software verification, enabling Vampire to effectively complement SAT/SMT solvers and aid proof assistants. We explain how best to use Vampire in practice and review the main changes Vampire has undergone since its last tool presentation, focusing on the engineering principles and design choices we made during this process.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2025

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

ISBN

978-3-031-98681-9

ISSN

0302-9743

e-ISSN

1611-3349

Number of pages

15

Pages from-to

57-71

Publisher name

Springer

Place of publication

Cham

Event location

Záhřeb

Event date

Jul 21, 2025

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

001562506200004