Imagine a dragon without fire. You can’t, right? Well, we can’t imagine a software without mathematical guarantees either. Learn how to formally verify YOUR code with the very 1st free & online source code analyzer. Free champagne, live demos, free beta access, and keynotes from outstanding researchers. Don’t miss out!
5 Reasons to participate
- Opening keynote by Dr. John Murray, Program Director at SRI International Computer Science Laboratory, about Formal Methods & Software Validation in the real world
- Announcement speech by CTO Benjamin Monate, introducing the 1st Free & Online Source Code Analyzer with mathematical guarantees
- Live static source code analysis demo
- Cocktail & Networking
- Get a FREE Expo Pass or a 20% discount on a Conference Pass at ARM TECHCON 2017 from TrustInSoft using the code: “INVITE”
Don’t miss out, REGISTER NOW!