Automating verification VIDEO
Kapture enables a user to write software requirements in a clear concise verifiable manner. It enables the early discovery of requirements issues before the expense of design, code and verification.
Kapture: Getting the right software requirements early in the software life cycle.Discover more
CLawZ enables the automatic independent verification of C source code generated from Simulink®/Stateflow® models. Should the autocoder have made a mistake, it will show where in the code the issue lies and relate it to the original design.
CLawZ: Automating source code verification.Discover more
The automatic verification of Executable Object Code.
Verifying that the binary or Executable Object Code is correct with respect to the source code from which it has been compiled is a typically lengthy process requiring many tests.
Proving that binary satisfies the original source code automatically is the job for FEVER®. This includes the functional code written in the C𝄬 coding standard as well as the associated build code such as library files.Discover more
Phone: 01684 252452
Mon to Fri - 9 AM-5 PM