Design and implementation of embedded formal verification assistants in the .NET framework Ondrej Rysavy Brno University of Technology, CZ Rotor RFP II Capstone Workshop…