scientific article; zbMATH DE number 7444019

zbMath1483.68194arXiv1907.03996MaRDI QIDQ5016380

Pascal Zwick, Bernhard Beckert, Michael Kirsten, Mihai Herda, Benedikt Wagner, Joana Plewnia, Etienne Brunner, Chiara Staudenmaier, Ulla Scheler

Publication date: 13 December 2021

Full work available at URL: https://arxiv.org/abs/1907.03996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Relational program reasoning using compiler IR
• Computer Aided Verification