Afficher la notice abrégée

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025

dc.contributor.editorIrfan, Ahmed
dc.contributor.editorKaufmann, Daniela
dc.date.accessioned2025-11-28T06:23:54Z
dc.date.available2025-11-28T06:23:54Z
dc.date.issued2025
dc.date.submitted2025-11-07T13:22:11Z
dc.identifierONIX_20251107T141951_9783854480846_2
dc.identifier2708-7824
dc.identifierhttps://library.oapen.org/handle/20.500.12657/108026
dc.identifier.urihttps://doab-dev.siscern.org/handle/20.500.12854/206663
dc.description.abstractThe Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.
dc.languageEnglish
dc.relation.ispartofseriesConference Series: Formal Methods in Computer-Aided Design
dc.rightsopen access
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
dc.subject.otherformal methods
dc.subject.othercomputer-aided system design
dc.subject.otherhardware and system verification
dc.subject.otherformal verification
dc.subject.otherspecification
dc.subject.othersynthesis and testing
dc.subject.otherautomated and formal reasoning
dc.titleProceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
dc.typebook
oapen.identifier.doi10.34727/2025/isbn.978-3-85448-084-6
oapen.relation.isPublishedBy6d680018-a5bf-4bcd-b646-3b3d9468784b
oapen.relation.isbn9783854480846
oapen.pages270
oapen.place.publicationVienna
dc.seriesnumber6


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

open access
Excepté là où spécifié autrement, la license de ce document est décrite en tant que open access