ElNiak/PANTHER
This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.
Python
Stargazers
- AnonymousSEMA
- antoinemouchet
- bduhoux
- CanaNiak
- clarkzjwUniversity of Victoria
- cnikov
- dimitriwautersBelgium
- DonaschmiUCLouvain
- ElNiakUCLouvain
- fdekeersUCLouvain
- FelixGaudin
- iyangsjTencent
- johnaogaUCLouvain
- Laura-Montagnier
- Lix0u
- MartinvivBelgium
- mihien
- mutin-saPlettenberg Bay, South Africa
- rveronezeBelgium
- samybtt
- SarKasM99
- ShawckerBelgium
- ZuoYuanP