140 followers
Refinement-Based Verification of the FreeRTOS Scheduler in VCC: Woodcock, James Charles Pa... https://t.co/W6RLkG8Mm5 #wrro
Refinement-Based Verification of the FreeRTOS Scheduler in VCC: Woodcock, James Charles Pa... https://t.co/W6RLkG8Mm5 #wrro