Buffer_Pkg            specification is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\buffer_pkg.ads
DNS_Network           specification is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\dns_network.ads
DNS_Network           body          is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\dns_network.adb
DNS_Types             specification is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\dns_types.ads
DNS_Types             body          is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\dns_types.adb
Dns_Network_Receive   specification is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\dns_network_receive.ads
Dns_Network_Receive   body          is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\dns_network_receive.adb
Protected_Buffer_Pkg  specification is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\protected_buffer_pkg.ads
Protected_Buffer_Pkg  body          is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\protected_buffer_pkg.adb
Protected_SPARK_IO_05 specification is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\protected_spark_io_05.ads
Protected_Spark_Io_05 body          is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\protected_spark_io_05.adb
Udp_Response_Task_Pkg body          is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\udp_response_task_pkg.adb
Udp_query_task_pkg    specification is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\udp_query_task_pkg.ads
Udp_query_task_pkg    body          is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\udp_query_task_pkg.adb
Udp_response_task_pkg specification is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\udp_response_task_pkg.ads
ada_main              specification is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\b~spark_dns_v1_1_main.ads
ada_main              body          is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\b~spark_dns_v1_1_main.adb
global_Buffers        specification is in C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\global_buffers.ads
