Ausgabe 3/2022
Special issue 'In Memory of Ed Clarke'
Inhalt (7 Artikel)
Achieving high coverage in hardware equivalence checking via concolic verification
Pritam Roy, Sagar Chaki
Open Access
SMT-based verification of program changes through summary repair
Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
Machine learning and logic: a new frontier in artificial intelligence
Vijay Ganesh, Sanjit A. Seshia, Somesh Jha
Open Access
Verification modulo theories
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta