Supplementary Documents for "Specifying and Verifying Future Conditions"

The files in this folder are for the submission to SAS25 #18 paper. Please refer to the READEME.md file for artifact evaluation. The following is a list of references used for the evaluation benchmarking: 1. File Operations: [Tutorialspoint tutorials](https://www.tutorialspoint.com/cprogramming/c_file_io.htm), [Github Example: ESP-IDF’s FATFS](https://github.com/espressif/esp-idf/blob/master/components/fatfs/test_apps/test_fatfs_common/test_fatfs_common.c) 2. Threads: [Geeksforgeeks tutorials](https://www.geeksforgeeks.org/thread-functions-in-c-c/) 3. Memory Usage [CWE-416 (Use-After-Free)](https://cwe.mitre.org/data/definitions/416.html), [CWE-415 (Double Free)](https://cwe.mitre.org/data/definitions/415.html), [CWE-401 (Memory Leak)](https://cwe.mitre.org/data/definitions/401.html) 4. Sockets: [Network Programming in C](https://www.codequoi.com/en/sockets-and-network-programming-in-c/) 5. Database: [SQLite C Tutorials](https://www.tutorialspoint.com/sqlite/sqlite_c_cpp.htm) 6. URV/NPD: [CWE-690 (Unchecked Return Value)](https://cwe.mitre.org/data/definitions/690.html)