Abstract is missing.
- Deductive evaluation: formal code analysis with low user burdenBen L. Di Vito. 1-7 [doi]
- Undertaking the tokeneer challenge in event-bVíctor Rivera, Sukriti Bhattacharya, Néstor Cataño. 8-14 [doi]
- Simple synthesis of reactive systems with tolerance for unexpected environmental behaviorShigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki. 15-21 [doi]
- Download malware? no, thanks: how formal methods can block update attacksFrancesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio. 22-28 [doi]
- Validating formal specifications using testing-based specification animationShaoying Liu. 29-35 [doi]
- Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary reportAndreas Katis, Andrew Gacek, Michael W. Whalen. 36-41 [doi]
- Toward rigorous design of domain-specific distributed systemsMohammed Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman. 42-48 [doi]