Frequently Asked Questions - VeriFlux

Yes. Veriflux is sound, which means that for every issues it checks for, all possible violations are identified in your code. If no violations for a particular issue are reported in the code that is analyzed, then issue is not present in the code.

Veriflux finds runtime exceptions, deadlocks, race conditions, and RTSJ memory area violations.