https://github.com/agroce/fuzz_tcas
https://github.com/agroce/fuzz_tcas
Last synced: 9 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/agroce/fuzz_tcas
- Owner: agroce
- Created: 2022-08-16T14:14:18.000Z (almost 4 years ago)
- Default Branch: master
- Last Pushed: 2023-04-14T16:31:50.000Z (about 3 years ago)
- Last Synced: 2025-03-12T20:48:30.225Z (over 1 year ago)
- Language: Shell
- Size: 3.85 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
This is code for applying DeepState (https://github.com/trailofbits/deepstate) to the classic TCAS code,
taken from the SIR (Software-artifact Infrastructure Repository, https://sir.csc.ncsu.edu/portal/bios/tcas.php).
Properties are taken from http://wcl.cs.rpi.edu/pilots/library/papers/collision/tcas_software_verification_using_constraint_programming.pdf
-- like that paper, we confirm the classic version of the code can violate some reasonable-seeming properties for the system.