Another slide. > The [TLA+] abstraction helped a lot in coming to a much cleaner architecture ( we witnessed first-hand the brainwashing done by years of C programming). One of the results was that the code size was about 10x less than in [the previous version].

1 likes 0 replies