Precision and performance of arithmetic processing is a known trade-off of a system design.
The IEEE 754 fixed width 32-bit and 64-bit precision arithmetic, while tuned for performance …

We present an improved version of the memory safety verification approach implemented in
Symbiotic 5, the winner of the MemSafety category at the Competition on Software …

Symbiotic is a bug-finding and verification tool that integrates light-weight static analyses
and instrumentation with program slicing and symbolic execution. The techniques are …

The software watermarking technique is used to eradicate software piracy that is increasing
widely in this digital world. The programmer can prove his ownership by recovering the …

Software watermark is a unique identifier that is embedded in software that can be extracted
later to prove the identity of the owner. Software is prone to threats like piracy, modification …

Symbiotic and Predator are formal verification tools. We evaluate each of those tools on
benchmarks from sv-comp. Our evaluation shows that the tools can benefit from cooperating …