Software Verification and Validation
Laboratoare
Symbolic Execution
1. Symbolic Execution
❱
Testing a small function
Testing a regex library
Binary Analysis
Light
Rust
Coal
Navy
Ayu
Software Verification and Validation
Software Verification and Validation
Here you'll find the laboratories for the Software Verification and Validation Course.