Web-Based Formal Verification Tool 🌐
Explore the core library, API, and client for this web-based formal verification tool on GitHub.
Maksym Semikin
56 views • Nov 9, 2017
About this video
The core library is at https://github.com/msemikin/fmse-tool
Api is at https://github.com/msemikin/formal-verifier-api
The client is at https://github.com/msemikin/formal-verifier-client
Api is at https://github.com/msemikin/formal-verifier-api
The client is at https://github.com/msemikin/formal-verifier-client
Video Information
Views
56
Duration
2:34
Published
Nov 9, 2017
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.