Viper / Silicon

[glor]

The verification toolset and intermediate language Viper uses a symbolic execution backend as a default: https://github.com/viperproject/silicon
Silicon itself uses Z3.