An Estelle interpreter for incremental protocol verification.

Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Jao-Chiang Pong, Duen-Tay Huang

Browse the full ICNP paper archive.