Used together with:
generat
(1)
checker
(1)
model
(1)
state
(1)
Stem
parmc$ (
all stems
)
1 papers:
PADL-2001-Kaser
#generative
#model checking
State Generation in the PARMC Model Checker (
OK
), pp. 337–352.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.
PADL-2001-Kaser #generative #model checking
PADL-2001-Kaser #generative #model checking