Symbooglix is an open source symbolic execution engine for Boogie programs. It is written in C# and is available on GitHub.
Here are some resources related to the ICST2016 paper on Symbooglix