Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Roveri, Marco; Tonetta, Stefano Verification Modulo theories. (English) Zbl 07757158 Form. Methods Syst. Des. 60, No. 3, 452-481 (2022). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI OA License
Ganesh, Vijay; Seshia, Sanjit A.; Jha, Somesh Machine learning and logic: a new frontier in artificial intelligence. (English) Zbl 07757157 Form. Methods Syst. Des. 60, No. 3, 426-451 (2022). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Havelund, Klaus; Peled, Doron On monitoring linear temporal properties. (English) Zbl 07757156 Form. Methods Syst. Des. 60, No. 3, 405-425 (2022). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Fleury, Mathias; Biere, Armin Mining definitions in Kissat with Kittens. (English) Zbl 07757155 Form. Methods Syst. Des. 60, No. 3, 381-404 (2022). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI OA License
Asadi, Sepideh; Blicha, Martin; Hyvärinen, Antti E. J.; Fedyukovich, Grigory; Sharygina, Natasha SMT-based verification of program changes through summary repair. (English) Zbl 07757154 Form. Methods Syst. Des. 60, No. 3, 350-380 (2022). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI OA License
Roy, Pritam; Chaki, Sagar Achieving high coverage in hardware equivalence checking via concolic verification. (English) Zbl 07757153 Form. Methods Syst. Des. 60, No. 3, 329-349 (2022). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Gao, Sicun; Grumberg, Orna; Zuliani, Paolo Obituary: Edmund Melson Clarke jun. (1945–2020). (English) Zbl 1522.01062 Form. Methods Syst. Des. 60, No. 3, 327-328 (2022). MSC: 01A70 × Cite Format Result Cite Review PDF Full Text: DOI