montao / formal-verification

🌍 The SMV models

Hello
Spooks via HTTP Spooks-web
Check my montao.github.io if there is anything more over there.

🔭 I’m currently working on build systems and CI/CD for various purposes
🌱 I’m currently learning to write better Latex and typography
👯 I’m looking to collaborate on related work that relates to my work in these repositories
🤔 I’m looking for help with making simple tasks as simple as possible
💬 Ask me about CI/CD and code pipelines
📫 How to reach me: email
😄 Pronouns: He/him
⚡ Fun fact: Kevin Bacon has little or nothing to do with my work but my Kevin Bacon number is 3

formal-verification's Issues

Model attack