Used together with:
autom
(2)
lightweight
(1)
symbol
(1)
verif
(1)
reason
(1)
Stem
symplar$ (
all stems
)
1 papers:
Onward-2011-Bierhoff
#automation
#lightweight
#reasoning
#verification
Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning (
KB
), pp. 19–32.
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
.