Volume 60, Issue 3

June 2022

Special issue 'In Memory of Ed Clarke'

Issue Editors:

7 articles in this issue

Edmund Melson Clarke, Jr. (1945–2020)
Sicun Gao
Orna Grumberg
Paolo Zuliani
EditorialNotes 14 September 2023 Pages: 327 - 328
Achieving high coverage in hardware equivalence checking via concolic verification
Pritam Roy
Sagar Chaki
OriginalPaper 07 March 2023 Pages: 329 - 349
SMT-based verification of program changes through summary repair
Sepideh Asadi
Martin Blicha
Natasha Sharygina
OriginalPaper Open access 04 May 2023 Pages: 350 - 380
Mining definitions in Kissat with Kittens
Mathias Fleury
Armin Biere
OriginalPaper Open access 24 April 2023 Pages: 381 - 404
On monitoring linear temporal properties
Klaus Havelund
Doron Peled
OriginalPaper 22 June 2023 Pages: 405 - 425
Machine learning and logic: a new frontier in artificial intelligence
Vijay Ganesh
Sanjit A. Seshia
Somesh Jha
OriginalPaper 14 June 2023 Pages: 426 - 451
Verification modulo theories
Alessandro Cimatti
Alberto Griggio
Stefano Tonetta
OriginalPaper Open access 19 September 2023 Pages: 452 - 481

Search