Ausgabe 7/2020
Special Issue: Selected Extended Papers from IJCAR 2018 / Guest Editors: Didier Galmiche, Stephan Schulz and Roberto Sebastiani & Special Issue: Selected and Extended Papers from TACAS 2018 / Guest Editors: Dirk Beyer and Marieke Huisman
Inhalt (16 Artikel)
Preface: Special Issue of Selected Extended Papers from IJCAR 2018
Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover
Anders Schlichtkrull, Jasmin Blanchette, Dmitriy Traytel, Uwe Waldmann
Simulating Strong Practical Proof Systems with Extended Resolution
Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule, Armin Biere
Probably Partially True: Satisfiability for Łukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics
Marcelo Finger, Sandro Preto
Proof-Producing Synthesis of CakeML from Monadic HOL Functions
Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan
Parameterized Model Checking on the TSO Weak Memory Model
Sylvain Conchon, David Declerck, Fatiha Zaïdi
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs
Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato
Fine-Grained Complexity of Safety Verification
Peter Chini, Roland Meyer, Prakash Saivasan
Natural Projection as Partial Model Checking
Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David Basin, Chiara Bodei
Multi-cost Bounded Tradeoff Analysis in MDP
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines
Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park