FormaliSE '16- Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering

Full Citation in the ACM Digital Library

Deductive evaluation: formal code analysis with low user burden

• Ben L. Di Vito

Undertaking the tokeneer challenge in event-b

• Víctor Rivera
• Sukriti Bhattacharya
• Néstor Cataño

Simple synthesis of reactive systems with tolerance for unexpected environmental behavior

• Shigeki Hagihara
• Atsushi Ueno
• Takashi Tomita
• Masaya Shimakawa
• Naoki Yonezaki

Download malware? no, thanks: how formal methods can block update attacks

• Francesco Mercaldo
• Vittoria Nardone
• Antonella Santone
• Corrado Aaron Visaggio

Validating formal specifications using testing-based specification animation

• Shaoying Liu

Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report

• Andreas Katis
• Andrew Gacek
• Michael W. Whalen

Toward rigorous design of domain-specific distributed systems

• Mohammed Al-Mahfoudh
• Ganesh Gopalakrishnan
• Ryan Stutsman