SMT-Friendly Formalization of the Solidity Memory Model

por Hajdu, Ákos, Jovanović, Dejan
Publicado 2020

Solving Bitvectors with MCSAT: Explanations from Bits and Pieces

por Graham-Lengrand, Stéphane, Jovanović, Dejan, Dutertre, Bruno
Publicado 2020

Verifying Visibility-Based Weak Consistency

por Krishna, Siddharth, Emmi, Michael, Enea, Constantin, Jovanović, Dejan
Publicado 2020

A Correlation Study of the Colorectal Cancer Statistics and Economic Indicators in Selected Balkan Countries

por Vekic, Berislav, Dragojevic-Simic, Viktorija, Jakovljevic, Mihajlo, Kalezic, Marko, Zagorac, Zagor, Dragovic, Sasa, Zivic, Rastko, Pilipovic, Filip, Simic, Radoje, Jovanovic, Dejan, Milovanovic, Jovana, Rancic, Nemanja
Publicado 2020