Updated Readme with a link to the Symbooglix paper + spellchecking - Githubissues

boogie-org / symbooglix

Symbolic Execution Engine for Boogie

MIT License

27 stars 4 forks source link

Updated Readme with a link to the Symbooglix paper + spellchecking #38

Closed ccadar closed 4 years ago