A Formal Framework for ASTRAL Intralevel Proof Obligations

@article{CoenPorisini1994AFF,
  title={A Formal Framework for ASTRAL Intralevel Proof Obligations},
  author={Alberto Coen-Porisini and Richard A. Kemmerer and Dino Mandrioli},
  journal={IEEE Trans. Software Eng.},
  year={1994},
  volume={20},
  pages={548-561}
}
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 specifications. ASTRAL is provided with structuring mechanisms that allow one to build modularized specifications of complex systems with layering. In this paper, further details of the ASTRAL environment components and the critical requirements… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 18 CITATIONS