# formal mathematical techniques

#### How Assurance Fundamentally Changes Networking

You were only six (and you may not remember this …), when you intended to be an astronaut. Intent is a wonderful thing, but for an astronaut, it ain’t enough...

Skip to content
# formal mathematical techniques

#### How Assurance Fundamentally Changes Networking

You were only six (and you may not remember this …), when you intended to be an astronaut. Intent is a wonderful thing, but for an astronaut, it ain’t enough...

2