Text

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

---

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.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

Vienna : TU Wien Academic Press., 2021

Collation

-

Language

English

ISBN/ISSN

9783854480464

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Formal Methods
Computer-Aided System Design
Hardware and System Verification
Formal Verification
Specification
Synthesis
and Testing
Automated and Formal Reasoning

Specific Detail Info

-

Statement of Responsibility

Piskac, Ruzica Whalen, Michael

Other Information

Cataloger

agus

Source

-

Validator

-

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment