BMC with Memory Models as Modules Bjørnar Luteberget, Koen Claessen and Christian Johansen. CoSA: Integrated Verification for Agile Hardware Design Hernan Ponce-De-Leon, Florian Furbach, Keijo Heljanko and Roland Meyer. Complete Test Sets And Their Approximations Cristian Mattarei, Makai Mann, Clark Barrett, Ross Daly, Dillon Huff and Pat Hanrahan. Expansion-Based QBF Solving Without Recursion Eugene Goldberg. Semantic-based Automated Reasoning for AWS Access Policies using SMT Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadžić, Uwe Egly, Florian Lonsing and Martina Seidl. A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4 John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Rustan Leino, Kasper Luckow, Neha Rungta, Oksana Tkachuk and Carsten Varming. Authors Title Heiko Becker, Nikita Zyuzin, Raphaël Monat, Eva Darulova, Magnus O.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |