Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3230844
Abstract: We invented a divide & conquer approach to conditional stable model checking so as to ease the state space explosion problem. As indicated by its name, the technique concentrates on conditional stable properties expressed as… read more here.
Keywords: conditional stable; stable properties; tex math; inline formula ... See more keywords