OORL.ProtocolVerification (object v0.1.2)

Provides protocol verification capabilities including LTS (Labeled Transition System) verification, reachability analysis, and protocol property checking.

Summary

Functions

analyze_protocol_completeness(protocol_lts)
build_state_graph(protocol_lts)
check_deadlock_freedom(protocol_lts)
check_liveness_properties(protocol_lts, liveness_properties)
compute_reachable_states(protocol_lts)
verify_reachability_properties(protocol_lts, properties)

Functions

analyze_protocol_completeness(protocol_lts)

build_state_graph(protocol_lts)

check_deadlock_freedom(protocol_lts)

check_liveness_properties(protocol_lts, liveness_properties)

compute_reachable_states(protocol_lts)

verify_reachability_properties(protocol_lts, properties)