Executable formal specifications of complex distributed systems with CoreASM

Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
2014 Science of Computer Programming  
Formal specifications play a crucial role in the design of reliable, complex software systems. Executable formal specifications allow the designer to attain early validation and verification of design using static analysis techniques and accurate simulation of the runtime behavior of the system-to-be. With increasing complexity of software-intensive computer-based systems and the challenges of validation and verification of abstract software models prior to coding, the need for interactive
more » ... are tools supporting executable formal specifications is even more evident. In this paper we discuss how CoreASM, an environment for writing and running executable specifications according to the ASM method, provides flexibility and manages complexity by using an innovative extensible language architecture.
doi:10.1016/j.scico.2012.02.001 fatcat:ox62qyqnwbbgbnoozb4ivrkyre