by Bjørner, Nikolaj, Juniwal, Garvit, Mahajan, Ratul, Seshia, Sanjit A., Varghese, George
Published in Hardware and Software: Verification and Testing (2016)

by Li, Xiangyu, d’Amorim, Marcelo, Orso, Alessandro
Published in Hardware and Software: Verification and Testing (2016)

by Holík, Lukáš, Kotoun, Michal, Peringer, Petr, Šoková, Veronika, Trtík, Marek, Vojnar, Tomáš
Published in Hardware and Software: Verification and Testing (2016)

by Shmarov, Fedor, Zuliani, Paolo
Published in Hardware and Software: Verification and Testing (2016)

by Benerecetti, Massimo, Dell’Erba, Daniele, Mogavero, Fabio
Published in Hardware and Software: Verification and Testing (2016)

by Bloemen, Vincent, van de Pol, Jaco
Published in Hardware and Software: Verification and Testing (2016)

by Humphrey, Laura, Könighofer, Bettina, Könighofer, Robert, Topcu, Ufuk
Published in Hardware and Software: Verification and Testing (2016)

by Shoaei, Mohammad Reza, Kovács, Laura, Lennartson, Bengt
Published in Hardware and Software: Verification and Testing (2014)

by Li, Xin, Ogawa, Mizuhito
Published in Hardware and Software: Verification and Testing (2011)

by Soeken, Mathias, Raiola, Pascal, Sterin, Baruch, Becker, Bernd, De Micheli, Giovanni, Sauer, Matthias
Published in Hardware and Software: Verification and Testing (2016)

by Bogomolov, Sergiy, Frehse, Goran, Greitschus, Marius, Grosu, Radu, Pasareanu, Corina, Podelski, Andreas, Strump, Thomas
Published in Hardware and Software: Verification and Testing (2014)

by Mahdi, Ahmed, Scheibler, Karsten, Neubauer, Felix, Fränzle, Martin, Becker, Bernd
Published in Hardware and Software: Verification and Testing (2016)

by Schwarz, Oliver, Dam, Mads
Published in Hardware and Software: Verification and Testing (2014)

by Alur, Rajeev, Martin, Milo, Raghothaman, Mukund, Stergiou, Christos, Tripakis, Stavros, Udupa, Abhishek
Published in Hardware and Software: Verification and Testing (2014)

by Jin, Wei, Orso, Alessandro
Published in Hardware and Software: Verification and Testing (2016)

by Arbel, Eli, Barak, Erez, Hoppe, Bodo, Koyfman, Shlomit, Krautz, Udo, Moran, Shiri
Published in Hardware and Software: Verification and Testing (2016)

by BENSALEM, Saddek, HAVELUND, Klaus
Published in Lecture notes in computer science (2006)

by Karpenkov, Egor George, Monniaux, David
Published in Hardware and Software: Verification and Testing (2016)

by Landsberg, David, Chockler, Hana, Kroening, Daniel
Published in Hardware and Software: Verification and Testing (2016)

by Liu, Tianhai, Araújo, Mateus, d’Amorim, Marcelo, Taghdiri, Mana
Published in Hardware and Software: Verification and Testing (2014)