Keyword:software verification

Publications
Reasoning About Hyperproperties with Automated Theorem Provers (extended version) Tobias Nießen, Ana Oliveira da Costa, Johannes Schoisswohl, Thomas A. Henzinger and Laura Kovács EasyChair Preprint 16030
Reasoning About Vote Counting Schemes Using Light-Weight and Heavy-Weight Methods Bernhard Beckert, Thorsten Bormer, Rajeev Gore, Michael Kirsten and Thomas Meumann EasyChair Preprint 15595
Solving XCSP3 Constraint Problems Using Tools from Software Verification Martin Mariusz Lester EasyChair Preprint 8679
Proof-Guided Underapproximation Widening for Bounded Model Checking Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal and Subhajit Roy EasyChair Preprint 8344
Function Summarization Modulo Theories Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti Hyvärinen, Karine Even-Mendoza, Natasha Sharygina and Hana Chockler In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning