Title:	SYMBOLIC MODEL CHECKING FOR MODULAR SYSTEMS
Author(s):	F. Ouazar, M. C. Boukala and M. Ioualalen
ISBN:	978-989-8704-42-9
Editors:	Yingcai Xiao, Ajith Abraham, Guo Chao Peng and Jörg Roth
Year:	2022
Edition:	Single
Keywords:	Model-Checking, Modular Systems, CTL\X, Symbolic Representation
Type:	Full Paper
First Page:	185
Last Page:	192
Language:	English
Cover:
Full Contents:	click to dowload
Paper Abstract:	Model checking verification is a formal and fully automatic method widely used for checking critical and complex systems. It is based on reachability analysis, which often encounters the state space explosion problem. In this paper, we present our approach to mitigate this problem; we propose to use a hybrid solution based on symbolic representation of a system in a modular way. We proposed a symbolic method for CTL\X properties check on modular systems.
	Go Back