Some Adventures in Learning Proving, Instantiation and Synthesis

Urban, Josef

doi:10.34727/2024/isbn.978-3-85448-065-5_3

Datensatz Zitierlink:

http://hdl.handle.net/20.500.12708/200770
https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_3

Titel:

Some Adventures in Learning Proving, Instantiation and Synthesis

Zitat:

Urban, J. (2024). Some Adventures in Learning Proving, Instantiation and Synthesis. In N. Narodytska & P. Rümmer (Eds.), Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 (pp. 3–3). TU Wien Academic Press. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_3

reposiTUm-DOI:

10.34727/2024/isbn.978-3-85448-065-5_3

CatalogPlus:

AC17313147

Publikationstyp:

Konferenzbeitrag - Full-Paper Contribution

Sprache:

Englisch

Autor_innen:

Urban, Josef

Herausgeber_innen:

Narodytska, Nina
Rümmer, Philipp

Organisationseinheit:

E000 - Technische Universität Wien

Reihe:

Conference Series: Formal Methods in Computer-Aided Design

Erschienen in:

Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024

ISBN:

978-3-85448-065-5

Datum (veröffentlicht):

Okt-2024

Umfang:

Verlag:

TU Wien Academic Press

Peer Reviewed:

Keywords:

formale Methode; rechnerunterstützte Systementwicklung; Hardwareverifikation; Systemverifikation; formale Verifikation; Spezifikation; Synthese und Testung; automatisches Schlussfolgern; formale Logik

formal methods; computer-aided system design; hardware and system verification; formal verification; specification; synthesis and testing; automated and formal reasoning

Forschungsschwerpunkte:

Logic and Computation: 40%
Computer Engineering and Software-Intensive Systems: 40%
Computer Science Foundations: 20%

Wissenschaftszweig:

1020 - Informatik: 100%

Lizenz:

CC BY 4.0