research
∙
06/28/2023
Exploration and Analysis of Combinations of Hamming Codes in 32-bit Memories
Reducing the threshold voltage of electronic devices increases their sen...
share
research
∙
09/12/2022
On using VeriFast, VerCors, Plural, and KeY to check object usage
Typestates are a notion of behavioral types that describe protocols for ...
research
∙
09/17/2020
