Recent MicroTESK News
MicroTESK @ RISC-V Summit 2020
December 11, 2020
MicroTESK framework and our ongoing research on online test program generation were presented at RISC-V Summit held online on December 8-10, 2020. The idea is that a generator (at least som... MicroTESK for Binary Code Verification
September 1, 2020
In this spring and summer, we wrote two papers on deductive verification of binary code against source-code-level specifications: one of them was published in Proceedings of the 14th Intern... MicroTESK 2.5.1 Released
January 27, 2020
MicroTESK 2.5.1 has been released.
What's new?
Fixed the TokenSourceStack class and moved it to the Castle 0.1.4 libraryRearranged the documentationMoved the documentation sources int...