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

The 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,...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Format: E-Book
Sprache:Englisch
Veröffentlicht: Vienna TU Wien Academic Press 2025
Schriftenreihe:Conference Series: Formal Methods in Computer-Aided Design
Schlagworte:
Artificial intelligence
automated and formal reasoning
Computer architecture and logic design
Computer programming / software engineering
Computer science
computer-aided system design
Computing and Information Technology
formal methods
formal verification
hardware and system verification
Mathematical theory of computation
Software Engineering
Software testing and verification
specification
synthesis and testing
Systems analysis and design
ISBN:3854480849, 9783854480846
ISSN:2708-7824
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract The 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.
AbstractList The 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.
BookMark eNpNjr1OQjEAhZuIiYC8gUMH10L_fxYTchE1gejAaNL03vZCI7TkFgc338E39EkEcXA65-RLvpwB6KWcAgC3BI8ZV1RNKKZiEkudxkZpxJAWnGuENUfyAgzY7zwu0wN9qrBGSlN-BUalxBpLIrjkXPTB60uXmxB8TOsCcwsPmwCpOGxglVMbupCaAHOC89zt3BYuw2GTfYExHflu_34IHZpGHzychRLXCX5_fsH5sprO4OneNbhs3baE0V8OwWp-v6oe0eL54amaLlA2iiIjjWRNIyTGRoqWtN4F42qttDNUKq5Jy4XCpiFOqkYzJ6ljmAnGDPXcOzYEd2dtdvuQ7L6LO9d92Oyi3ca6O_cTyd3aUmwFxpZQKZQlWGMqj4Kb_wKfXZ3zW7FEak01-wHASWr3
ContentType eBook
DBID V1H
A7I
DOI 10.34727/2025/isbn.978-3-85448-084-6
DatabaseName DOAB: Directory of Open Access Books
OAPEN
DatabaseTitleList

Database_xml – sequence: 1
  dbid: V1H
  name: DOAB: Directory of Open Access Books
  url: https://directory.doabooks.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
Editor Kaufmann, Daniela
Irfan, Ahmed
Editor_xml – sequence: 1
  fullname: Irfan, Ahmed
– sequence: 2
  fullname: Kaufmann, Daniela
ExternalDocumentID oai_library_oapen_org_20_500_12657_108026
168828
GroupedDBID V1H
A7I
ID FETCH-LOGICAL-o972-96963cc5600965f1fdae9ab878a9267481f45709c1a67c83a62a30353392d4da3
IEDL.DBID A7I
ISBN 3854480849
9783854480846
ISSN 2708-7824
IngestDate Mon Dec 01 21:31:37 EST 2025
Mon Nov 10 03:10:49 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-o972-96963cc5600965f1fdae9ab878a9267481f45709c1a67c83a62a30353392d4da3
OpenAccessLink https://library.oapen.org/handle/20.500.12657/108026
PageCount 270
ParticipantIDs oapen_primary_oai_library_oapen_org_20_500_12657_108026
oapen_doabooks_168828
PublicationCentury 2000
PublicationDate 2025
PublicationDateYYYYMMDD 2025-01-01
PublicationDate_xml – year: 2025
  text: 2025
PublicationDecade 2020
PublicationPlace Vienna
PublicationPlace_xml – name: Vienna
PublicationSeriesTitle Conference Series: Formal Methods in Computer-Aided Design
PublicationYear 2025
Publisher TU Wien Academic Press
Publisher_xml – name: TU Wien Academic Press
SSID ssib061546445
ssib042469986
Score 2.443715
Snippet The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and...
SourceID oapen
SourceType Publisher
SubjectTerms Artificial intelligence
automated and formal reasoning
Computer architecture and logic design
Computer programming / software engineering
Computer science
computer-aided system design
Computing and Information Technology
formal methods
formal verification
hardware and system verification
Mathematical theory of computation
Software Engineering
Software testing and verification
specification
synthesis and testing
Systems analysis and design
Title Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
URI https://directory.doabooks.org/handle/20.500.12854/168828
https://library.oapen.org/handle/20.500.12657/108026
Volume 6
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3JTsMwELWgIMSJXZRNPnB1SbzE9hEBVS-tOCDUA1Lkxo6ohBLUFM78A3_IlzATd-HMJcqueOxk3pt43hBynQSfSRsEg95NmBSFhe-gKpmcFD41DlZ9LDahRyMzHtvHRVJYs45d9GoHbL79kx_VBoCk91SCYgiZwmRxA9xhk2xlnFsc17d6RXokB8Zn16Jo4LIlOH2cy8h1Yhi4RKz1JIwCZpIYaaMMz2o72yHXyGUleHYMDagbZFu9OI2gPQm1UFlbIQkf8o876u_9ryH7ZCtgasMB2QjVIdlbFnSgi_f7iLw8rtxZQ-uSAjikXM1f6TovkNYV7SPOfaPDtvh0Q6cVXd6K3U598PS-nRZCf76-aX8IfU2xgcfkqf_wdDdgi_ILrLaaM5TNEUWBiMhmqkxL74J1E6ONsxxLlKSlVDqxReoyXRjhMu7AHwJ8tNxL78QJ6VR1FU4JFQGAR7CmNMHIoMREB18ajEgD3JAidMlxa6bc1w65RZOnGSB_0yU67n-Pyhs5amEvDJvHI2DYnCc5WDRvLZpHi579-8pzsos2iVGWC9KZzz7CJdkuPufTZnbVjjRYPqeDX4heyTg
linkProvider Open Access Publishing in European Networks
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Proceedings+of+the+25th+Conference+on+Formal+Methods+in+Computer-Aided+Design+%E2%80%93+FMCAD+2025&rft.series=Conference+Series%3A+Formal+Methods+in+Computer-Aided+Design&rft.date=2025-01-01&rft.pub=TU+Wien+Academic+Press&rft.isbn=3854480849&rft.issn=2708-7824&rft.volume=6&rft_id=info:doi/10.34727%2F2025%2Fisbn.978-3-85448-084-6&rft.externalDBID=A7I&rft.externalDocID=oai_library_oapen_org_20_500_12657_108026
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2708-7824&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2708-7824&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2708-7824&client=summon