Session IOA-NTP

Theories

• Overview
• Lemmas
• Multiset
• Packet
• Action
• Sender
• Receiver
• Abschannel
• Impl
• Spec
• Correctness