Index Terms
- Specware
Recommendations
Specware: Formal Support for Composing Software
MPC '95: Mathematics of Program ConstructionSPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems
AMAST '96: Proceedings of the 5th International Conference on Algebraic Methodology and Software TechnologyA Formal Framework for ASTRAL Intralevel Proof Obligations
ASTRAL is a formal specification language for real-time systems. It is intended to support formal software development, and therefore has been formally defined. This paper focuses on how to formally prove the mathematical correctness of ASTRAL ...
Comments