GitHub repository: tkratochvila/VerifyAll
Primary language: JavaScript
Created: 2021-01-29T13:15:44Z
Description: Verification web client that allows automated semantic requirement analysis and formal verification of requirements against C/C++ source codes. Does not work standalone, needs verification server.