GitHub - Crowton/FloodingNetworkSafeAndLive: This repository contains a coq proof of the flooding agent holding on safety and liveness

Crowton / FloodingNetworkSafeAndLive Public

This repository contains a coq proof of the flooding agent holding on safety and liveness

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Flood_Box.v		Flood_Box.v
Flood_Box_Liveness.v		Flood_Box_Liveness.v
Flood_Box_Master.v		Flood_Box_Master.v
Flood_Box_Safety.v		Flood_Box_Safety.v
Flood_Properties.v		Flood_Properties.v
Input_Properties.v		Input_Properties.v
List_Properties.v		List_Properties.v
Utilities.v		Utilities.v
add_message_to_all_properties.v		add_message_to_all_properties.v
buffer_reveals_input_in_trace.v		buffer_reveals_input_in_trace.v
execute_flood_aux_properties.v		execute_flood_aux_properties.v
extract_port_buffer_message_properties.v		extract_port_buffer_message_properties.v
flood_safety_properties.v		flood_safety_properties.v