BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning.
Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric · The Journal of Object Technology · 2002
We describe BON-CASE, an extensible tool for the BON modelling language.The tool's support for formal techniques -in particular, for formal specification of contracts and frames, as a platform for verification of Eiffel code, for lightweight integration with existing reasoning tools (such as type checkers, theorem provers, and static assertion checkers), and its extensible architectureis discussed.We present the infrastructure provided with the tool, and support being added to the tool for reverse engineering and the single model principle, as well as for checking the consistency of static and dynamic views of a system.