Teaching Formal Methods and Discrete Mathematics

Despite significant advancements in the conception of (formal) integrated development environments, applying formal methods in software industry is still perceived as a difficult task. To make the task easier, providing tools that help during the development cycle is essential but we think that educ...

Full description

Bibliographic Details
Main Authors: Mathieu Jaume, Théo Laurent
Format: Article
Language:English
Published: Open Publishing Association 2014-04-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1404.6604v1