Show simple item record

dc.contributor.editorIvrii, Alexander
dc.contributor.editorStrichman, Ofer
dc.date.accessioned2021-06-17T02:00:32Z
dc.date.available2021-06-17T02:00:32Z
dc.date.issued2020
dc.date.submitted2021-06-16T10:24:55Z
dc.identifierONIX_20210616_9783854480426_23
dc.identifier2708-7824
dc.identifierhttps://library.oapen.org/handle/20.500.12657/49587
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/70818
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.classificationbic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering::UMZT Software testing & verification
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UY Computer science::UYF Computer architecture & logic design
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation
dc.subject.classificationbic Book Industry Communication::U Computing & 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, Specification, Synthesis, and Testing
dc.subject.otherAutomated and Formal Reasoning
dc.titleProceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
dc.typebook
oapen.identifier.doi10.34727/2020/isbn.978-3-85448-042-6
oapen.relation.isPublishedByd5d39cb5-47fb-4fe7-a7da-f356ab83484d
oapen.relation.isbn9783854480426
oapen.imprintTU Wien Academic Press
oapen.pages284
oapen.place.publicationVienna
dc.seriesnumber1


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

open access
Except where otherwise noted, this item's license is described as open access