Generating and Employing Witness Automata for ACTLW Formulae
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3143478
Abstract: When verifying the validity of a formula in a system model by a model checker, a common feature is the generation of a linear witness or counterexample, which is a computation path usually showing a… read more here.
Keywords: witness automata; procedure; witness; generating employing ... See more keywords