Sign in

Reply to post: Re: Weasel wording?

DARPA joins math-secured microkernel race

Destroy All Monsters Silver badge
Reply Icon
Pint

Re: Weasel wording?

Speaking of TLA, we have recommended reading in Leslie Lamport's "Specifying Systems - The TLA+ Language and Tools for Hardware and Software Engineers". Downloadable legally, too.

Do it now.

POST COMMENT House rules

Not a member of The Register? Create a new account here.

Forgotten password ?

  • Enter your comment

  • Add an icon

Anonymous cowards cannot choose their icon

Biting the hand that feeds IT © 1998–2022

Do not sell my personal information Cookies Privacy Ts&Cs