Ausgabe 5/2018
EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2015
Inhalt (6 Artikel)
Open Access
Original Article
A fully verified container library
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia
Original Article
A formal approach for detection of security flaws in the android permission system
Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson
Original Article
Model-based problem solving for university timetable validation and improvement
David Schneider, Michael Leuschel, Tobias Witt
Original Article
Automated circular assume-guarantee reasoning
Karam Abd Elkader, Orna Grumberg, Corina S. Păsăreanu, Sharon Shoham
Open Access
Original Article
Mechanized proofs of opacity: a comparison of two techniques
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim