Ausgabe 1/2014
Enabling Domain Experts to Use Formalized Reasoning
Inhalt (6 Artikel)
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
Phillip James, Markus Roggenbach
Formal Analysis of Optical Systems
Sanaz Khan-Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar
Collaborative Verification-Driven Engineering of Hybrid Systems
Stefan Mitsch, Grant Olney Passmore, André Platzer