Formal Reasoning Using an Iterative Approach with an Integrated Web IDE

Formal Reasoning Using an Iterative Approach with an Integrated Web IDE

This paper summarizes our experience in communicating the elements of reasoning about correctness, and the central role of formal specifications in reasoning about modular, component-based software using a language and an integrated Web IDE designed for the purpose. Our experience in using such an I...

Full description

Bibliographic Details
Main Authors: Nabil M. Kabbani, Daniel Welch, Caleb Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman
Format: Article
Language:English
Published: Open Publishing Association 2015-08-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1508.03896v1

Internet

http://arxiv.org/pdf/1508.03896v1

Similar Items