Work

The Future is Hybrid: Next Generation Data Structures for Formal Verification

Year: 2024

Type: conference-paper

Source: Proceedings - Asian Test Symposium/Proceedings

DOI: 10.1109/ats64447.2024.10915489

Authors: Rolf Drechsler, Christina Plump, Martha Schnieber

Institutions: University of Bremen, German Research Centre for Artificial Intelligence

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4408443128

FWCI: 0.661

Cites: 20

Cited by: 1

Related to: 10