DARTAGNAN: Bounded Model Checking for Weak Memory
Models (Competition Contribution) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 378
Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko,
and Roland Meyer
VeriAbs : Verification by Abstraction and Test
Generation (Competition Contribution) . . . . . . . . . . . . . . . . . . . . . . . . . . . 383
Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan,
Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta,
Shrawan Kumar, Charles Babu M, Divyesh Unadkat, and R Venkatesh
GACAL: Conjecture-Based Verification (Competition Contribution) . . . . . . . 388
Benjamin Quiring and Panagiotis Manolios
Java Ranger at SV-COMP 2020 (Competition Contribution). . . . . . . . . . . . . 393
Vaibhav Sharma, Soha Hussein, Michael W. Whalen,
Stephen McCamant, and Willem Visser
JDART: Dynamic Symbolic Execution for JAVA
Bytecode (Competition Contribution). . . . . . . . . . . . . . . . . . . . . . . . . . . . . 398
Malte Mues and Falk Howar
Map2Check: Using Symbolic Execution and Fuzzing
(Competition Contribution). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 403
Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro,
and Raimundo Barreto
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions
and Memory Reallocation (Competition Contribution) . . . . . . . . . . . . . . . . . 408
Petr Peringer, Veronika Šoková, and Tomáš Vojnar
Symbiotic 7: Integration of Predator and More
(Competition Contribution). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 413
Marek Chalupa, Tomáš Jašek, Lukáš Tomovič, Martin Hruška,
Veronika Šoková, Paulína Ayaziová, Jan Strejček, and Tomáš Vojnar
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions
(Competition Contribution). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 418
Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle,
and Frank Schüssele
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 423
Contents – Part II
xxiii
Models (Competition Contribution) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 378
Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko,
and Roland Meyer
VeriAbs : Verification by Abstraction and Test
Generation (Competition Contribution) . . . . . . . . . . . . . . . . . . . . . . . . . . . 383
Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan,
Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta,
Shrawan Kumar, Charles Babu M, Divyesh Unadkat, and R Venkatesh
GACAL: Conjecture-Based Verification (Competition Contribution) . . . . . . . 388
Benjamin Quiring and Panagiotis Manolios
Java Ranger at SV-COMP 2020 (Competition Contribution). . . . . . . . . . . . . 393
Vaibhav Sharma, Soha Hussein, Michael W. Whalen,
Stephen McCamant, and Willem Visser
JDART: Dynamic Symbolic Execution for JAVA
Bytecode (Competition Contribution). . . . . . . . . . . . . . . . . . . . . . . . . . . . . 398
Malte Mues and Falk Howar
Map2Check: Using Symbolic Execution and Fuzzing
(Competition Contribution). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 403
Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro,
and Raimundo Barreto
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions
and Memory Reallocation (Competition Contribution) . . . . . . . . . . . . . . . . . 408
Petr Peringer, Veronika Šoková, and Tomáš Vojnar
Symbiotic 7: Integration of Predator and More
(Competition Contribution). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 413
Marek Chalupa, Tomáš Jašek, Lukáš Tomovič, Martin Hruška,
Veronika Šoková, Paulína Ayaziová, Jan Strejček, and Tomáš Vojnar
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions
(Competition Contribution). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 418
Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle,
and Frank Schüssele
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 423
Contents – Part II
xxiii