Formal Verification with HiLLS-Specified Models: A Further Step in Multi-Analysis Modeling of Complex Systems

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,…...