MicroTESK @ RISC-V Workshop Zurich 2019
The use of MicroTESK to specify memory management units and generate memory-related test programs was presented at the RISC-V Workshop held in Zurich, Switzerland on June 11-12, 2019.
MicroTESK @ SYRCoSE 2019
Our research-in-progress on binary code deductive verification was presented at the Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE) held in Saratov, Russia on May 29-31, 2019. MicroTESK is used to specify a target instruction set architecture (ISA) and to extract the symbolic representation of a given binary file.