João F. Ferreira
João F. Ferreira
Home
Projects
Publications
Teaching
Blog
Contact
Research Opportunities
Light
Dark
Automatic
Shengchao Qin
Latest
GPS+: Reasoning About Fences and Relaxed Atomics
Towards a Program Logic for C11 Release-Sequences
Reasoning about Fences and Relaxed Atomics
Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK
Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK
Cite
×