sys icon indicating copy to clipboard operation
sys copied to clipboard
verified publisher icon PLSysSec

More SysDSL docs & tutorial

Open marcinguy opened this issue 4 years ago • 1 comments

Hi,

More checkers explanations than in Whitepaper (https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf) & tutorial as well as doc on SysDSL, with examples, would be great.

Thanks,

marcinguy avatar Mar 26 '21 21:03 marcinguy

It would be great indeed! PRs welcome!

deian avatar Mar 26 '21 23:03 deian