Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022 / / Alberto Griggio, Neha Rungta, editors.
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,...
Saved in:
| TeilnehmendeR: | |
|---|---|
| Place / Publishing House: | Vienna : : TU Wien Academic Press,, 2022. |
| Year of Publication: | 2022 |
| Language: | English |
| Physical Description: | 1 online resource (305 pages) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
993562772804498 |
|---|---|
| ctrlnum |
(CKB)5840000000098314 (NjHacI)995840000000098314 (EXLCZ)995840000000098314 |
| collection |
bib_alma |
| record_format |
marc |
| spelling |
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022 / Alberto Griggio, Neha Rungta, editors. 2022 Formal Methods in Computer-Aided Design Vienna : TU Wien Academic Press, 2022. 1 online resource (305 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Description based on publisher supplied metadata and other sources. 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. In English. Invited Talks -- Tutorials -- Student Forum -- Verification in Machine Learning -- Proofs -- Hardware and RTL -- Hardware and RTL -- Parameterized Systems and Quantified Reasoning -- Distributed Systems -- Synthesis -- Reachability and Safety Verification. Digital integrated circuits Design and construction Mathematics Congresses. Digital integrated circuits Computer-aided design Congresses. 1-66548-040-8 3-85448-053-9 Griggio, Alberto, editor. Rungta, Neha, editor. |
| language |
English |
| format |
eBook |
| author2 |
Griggio, Alberto, Rungta, Neha, |
| author_facet |
Griggio, Alberto, Rungta, Neha, |
| author2_variant |
a g ag n r nr |
| author2_role |
TeilnehmendeR TeilnehmendeR |
| title |
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022 / |
| spellingShingle |
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022 / Invited Talks -- Tutorials -- Student Forum -- Verification in Machine Learning -- Proofs -- Hardware and RTL -- Hardware and RTL -- Parameterized Systems and Quantified Reasoning -- Distributed Systems -- Synthesis -- Reachability and Safety Verification. |
| title_full |
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022 / Alberto Griggio, Neha Rungta, editors. |
| title_fullStr |
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022 / Alberto Griggio, Neha Rungta, editors. |
| title_full_unstemmed |
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022 / Alberto Griggio, Neha Rungta, editors. |
| title_auth |
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022 / |
| title_alt |
2022 Formal Methods in Computer-Aided Design |
| title_new |
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022 / |
| title_sort |
proceedings of the 22nd conference on formal methods in computer-aided design - fmcad 2022 / |
| publisher |
TU Wien Academic Press, |
| publishDate |
2022 |
| physical |
1 online resource (305 pages) |
| contents |
Invited Talks -- Tutorials -- Student Forum -- Verification in Machine Learning -- Proofs -- Hardware and RTL -- Hardware and RTL -- Parameterized Systems and Quantified Reasoning -- Distributed Systems -- Synthesis -- Reachability and Safety Verification. |
| isbn |
1-66548-040-8 3-85448-053-9 |
| callnumber-first |
T - Technology |
| callnumber-subject |
TK - Electrical and Nuclear Engineering |
| callnumber-label |
TK7874 |
| callnumber-sort |
TK 47874.65 P763 42022 |
| genre_facet |
Congresses. |
| illustrated |
Not Illustrated |
| dewey-hundreds |
600 - Technology |
| dewey-tens |
620 - Engineering |
| dewey-ones |
621 - Applied physics |
| dewey-full |
621.39/2 |
| dewey-sort |
3621.39 12 |
| dewey-raw |
621.39/2 |
| dewey-search |
621.39/2 |
| work_keys_str_mv |
AT griggioalberto proceedingsofthe22ndconferenceonformalmethodsincomputeraideddesignfmcad2022 AT rungtaneha proceedingsofthe22ndconferenceonformalmethodsincomputeraideddesignfmcad2022 AT griggioalberto 2022formalmethodsincomputeraideddesign AT rungtaneha 2022formalmethodsincomputeraideddesign |
| status_str |
n |
| ids_txt_mv |
(CKB)5840000000098314 (NjHacI)995840000000098314 (EXLCZ)995840000000098314 |
| carrierType_str_mv |
cr |
| is_hierarchy_title |
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022 / |
| author2_original_writing_str_mv |
noLinkedField noLinkedField |
| _version_ |
1796652159183355904 |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01762nam a2200337 i 4500</leader><controlfield tag="001">993562772804498</controlfield><controlfield tag="005">20230327171504.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr |||||||||||</controlfield><controlfield tag="008">230327s2022 au o 000 0 eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5840000000098314</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(NjHacI)995840000000098314</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995840000000098314</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">NjHacI</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="c">NjHacl</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TK7874.65</subfield><subfield code="b">.P763 2022</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">621.39/2</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022 /</subfield><subfield code="c">Alberto Griggio, Neha Rungta, editors.</subfield></datafield><datafield tag="246" ind1=" " ind2=" "><subfield code="a">2022 Formal Methods in Computer-Aided Design </subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Vienna :</subfield><subfield code="b">TU Wien Academic Press,</subfield><subfield code="c">2022.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (305 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Invited Talks -- Tutorials -- Student Forum -- Verification in Machine Learning -- Proofs -- Hardware and RTL -- Hardware and RTL -- Parameterized Systems and Quantified Reasoning -- Distributed Systems -- Synthesis -- Reachability and Safety Verification.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Digital integrated circuits</subfield><subfield code="x">Design and construction</subfield><subfield code="x">Mathematics</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Digital integrated circuits</subfield><subfield code="x">Computer-aided design</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">1-66548-040-8</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-85448-053-9</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Griggio, Alberto,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rungta, Neha,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-04-15 12:02:49 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2022-10-01 21:41:45 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5340551510004498&Force_direct=true</subfield><subfield code="Z">5340551510004498</subfield><subfield code="b">Available</subfield><subfield code="8">5340551510004498</subfield></datafield></record></collection> |