01744nam 2200361 450 991037665370332120230905160226.0(CKB)3460000000103527(NjHacI)993460000000103527(EXLCZ)99346000000010352720230826d2010 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierProceedings of the 2010 Conference on Formal Methods in Computer-Aided Design /Roderick Bloem, Natasha Sharygina ; Association for Computing Machinery-Digital Library, contributorAustin, Taxes :FMCAD Inc.,2010.1 online resourceFMCAD 2010, held in Lugano Switzerland on October 20--23, was the tenth in a series of conferences 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.FMCAD '10Computer-aided designCongressesComputer-aided design620.00420285Bloem Roderick P.1408431Sharygina NatashaAssociation for Computing Machinery-Digital Library,NjHacINjHaclBOOK9910376653703321Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design3492320UNINA