End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK.

Laura R. Humphrey James Hamil Joffrey Huguet

Published in: SEFM (2020)

Keyphrases

end to end
admission control
ad hoc networks
wireless ad hoc networks
congestion control
high bandwidth
model checking
multipath
multi hop
application layer
rate allocation
multimedia
service delivery
transport layer