Ausgabe 4/2019
Special Issue: Linearity / Guest Editors: Iliano Cervesato, Maribel Fernandez & Special Issue: Selected Extended Papers of NFM 2017 / Guest Editors: Clark Barrett, Temesghen Kahsai
Inhalt (13 Artikel)
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
Patrick Baillot, Gilles Barthe, Ugo Dal Lago
Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic
Mohamed Yousri Mahmoud, Amy P. Felty
Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants
Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae
Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis
An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains
Hadar Frenkel, Orna Grumberg, Sarai Sheinvald
Open Access
Efficient Active Automata Learning via Mutation Testing
Bernhard K. Aichernig, Martin Tappler