https://github.com/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.
https://github.com/ElNiak/PANTHER

apt cve docker docker-compose formal-methods formal-verification ivy protocol protocol-tester quic reproducible-research simulator test-automation testing testing-tools tests time-proof transport-layer-protocol

Last synced: about 1 month ago
JSON representation

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.

• Host: GitHub
• URL: https://github.com/ElNiak/PANTHER
• Owner: ElNiak
• Created: 2021-11-09T14:13:45.000Z (almost 3 years ago)
• Default Branch: production
• Last Pushed: 2024-08-25T13:45:08.000Z (2 months ago)
• Last Synced: 2024-08-25T15:00:13.645Z (2 months ago)
• Topics: apt, cve, docker, docker-compose, formal-methods, formal-verification, ivy, protocol, protocol-tester, quic, reproducible-research, simulator, test-automation, testing, testing-tools, tests, time-proof, transport-layer-protocol
• Language: Python
• Homepage: https://elniak.github.io/PANTHER/
• Size: 1.2 GB
• Stars: 23
• Watchers: 2
• Forks: 2
• Open Issues: 9
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • Contributing: CONTRIBUTING.md

Awesome Lists containing this project

• awesome-formal-verification - 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. (Software verification / Tools/Proof Assistants)
• awesome-ai-cybersecurity - PANTHER