Ausgabe 1/2018
Special Issue: Selected Extended Papers of NFM 2016
Inhalt (7 Artikel)
Formal Verification of an Executable LTL Model Checker with Partial Order Reduction
Julian Brunner, Peter Lammich
Verifying Relative Safety, Accuracy, and Termination for Program Approximations
Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamarić
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic
Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application
Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)
Muhammad Usama Sardar, Nida Afaq, Osman Hasan, Khaza Anuarul Hoque
Synthesis of Obfuscation Policies to Ensure Privacy and Utility
Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, Sanjit A. Seshia