Authors: Ivrii, Alexander, Strichman, Ofer
Contributors: IBM Haifa Research Lab, Israel, Information System Engineering, IE, The Technion, Haifa, Israel, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: formal methods, computer-aided system design, formale Methoden, rechnerunterstützte Systementwicklung, Hardwareverifikation
Relation: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18629; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_29
Authors: Amir, Guy, Schapira, Michael, Katz, Guy
Contributors: The Hebrew University of Jerusalem, Israel, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation
Relation: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18630; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_28
Authors: Bendik, Jaroslav
Contributors: Max Planck Institute for Software Systems, Deutschland, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation
Relation: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18626; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_30
Authors: Hajdu, Marton, Hozzova, Petra, Kovacs, Laura, Voronkov, Andrei
Contributors: #PLACEHOLDER_PARENT_METADATA_VALUE#, University of Manchester, UK
Subject Terms: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation
Relation: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18621; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_34
Authors: Vukmirović, Petar, Blanchette, Jasmin, Heule, Marijn
Contributors: Vrije Universiteit Amsterdam, the Netherlands, Université de Lorraine, CNRS, Inria, LORIA, Nancy, France, Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation
Relation: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18623; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_32
Authors: Golia, Priyanka, Soos, Mate, Chakraborty, Sourav, Meel, Kuldeep S.
Contributors: Indian Institute of Technology Kanpur, India, National University of Singapore, Indian Statistical Institute, Kolkota, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation
Relation: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18625; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_31
Authors: Hyvärinen, Antti, Marescotti, Matteo, Sharygina, Natasha
Contributors: Universita della Svizzera italiana, Schweiz, Facebook, UK, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation
Relation: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18617; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_37
Authors: Kumar, Ankit, Manolios, Panagiotis
Contributors: Northeastern University, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation
Relation: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18619; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_36
Authors: Rawson, Michael, Reger, Giles
Contributors: University of Manchester, UK, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation
Relation: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18612; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_38
Contributors: Piskac, Ruzica, Whalen, Michael W., Yale University, USA, Amazon Web Services, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: formal methods, computer-aided system design, hardware and system verification, formal verification, specification, synthesis and testing, automated and formal reasoning, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation, Systemverifikation, formale Verifikation, Spezifikation, Synthese und Testung, automatisches Schlussfolgern, formale Logik
Relation: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18607; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4
Contributors: Ivrii, Alexander, Strichman, Ofer, IBM Research, Technion - Israel Institute of Technology, Warren A. Hunt, Georg Weissenbacher
Subject Terms: computer-aided system design
Relation: #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/15461; http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6
Authors: Georgiou, Pamina, Gleiss, Bernhard, Kovacs, Laura
Contributors: Ivrii, Alexander, Strichman, Ofer, #PLACEHOLDER_PARENT_METADATA_VALUE#, IBM Research, Israel, Technion - Israel Institute of Technology, Israel
Subject Terms: computer-aided system design
Relation: #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/15529; http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_33
Authors: Jantsch, Simon, Harder, Hans, Funke, Florian, Baier, Christel
Contributors: Ivrii, Alexander, Strichman, Ofer, Technische Universität Dresden, Deutschland, IBM Research, Israel, Technion - Israel Institute of Technology, Israel, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: computer-aided system design
Relation: #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/15527; http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_31
Authors: Kaufmann, Daniela, Fleury, Mathias, Biere, Armin
Contributors: Ivrii, Alexander, Strichman, Ofer, Johannes Kepler University Linz, Österreich, Albert–Ludwigs–University, Germany, IBM Research, Israel, Technion - Israel Institute of Technology, Israel, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: computer-aided system design
Relation: #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/15530; http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_34
Authors: Nagashima, Yutaka
Contributors: Ivrii, Alexander, Strichman, Ofer, Czech Technical University in Prague, Tschechien, IBM Research, Israel, Technion - Israel Institute of Technology, Israel, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: computer-aided system design
Relation: #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/15528; http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_32
Authors: Nadel, Alexander
Contributors: Ivrii, Alexander, Strichman, Ofer, Intel Corporation, Israel, IBM Research, Israel, Technion - Israel Institute of Technology, Israel, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: computer-aided system design
Relation: #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/15524; http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_28
Authors: Niemetz, Aina, Preiner, Mathias
Contributors: Ivrii, Alexander, Strichman, Ofer, Stanford University, USA, IBM Research, Israel, Technion - Israel Institute of Technology, Israel, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: computer-aided system design
Relation: #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/15525; http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_29
Authors: Reynolds, Andrew, Nötzli, Andres, Barrett, Clark, Tinelli, Cesare
Contributors: Ivrii, Alexander, Strichman, Ofer, University of Iowa, USA, Stanford University, USA, IBM Research, Israel, Technion - Israel Institute of Technology, Israel, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: computer-aided system design
Relation: #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/15526; http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_30
Authors: Wu, Haoze, Ozdemir, Alex, Zeljic, Aleksandar, Julian, Kyle, Irfan, Ahmed, Gopinath, Divya, Fouladi, Sadjad, Katz, Guy, Pasareanu, Corina, Barrett, Clark
Contributors: Ivrii, Alexander, Strichman, Ofer, Stanford University, USA, NASA Ames, KBR Inc., USA, The Hebrew University of Jerusalem, Israel, Carnegie Mellon University, USA, NASA Ames, USA, IBM Research, Israel, Technion - Israel Institute of Technology, Israel, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: computer-aided system design
Relation: #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/15516; http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_20
Contributors: Ivrii, Alexander, Strichman, Ofer, Carnegie Mellon University, USA, NASA Ames, USA, IBM Research, Israel, Technion - Israel Institute of Technology, Israel, #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: computer-aided system design
Relation: #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/15514; http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_18