Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems

Abstract

The multi-analysis modeling of a complex system is the act of building a family of models which allows to cover a large spectrum of analysis methods (such as simulation, formal methods, enactment,…...