Rabbit: A Language to Model and Verify Data Flow in Networked Systems.

Terunobu Inaba, Yutaka Ishikawa, Atsushi Igarashi, Taro Sekiyama

Browse the full ISNCC paper archive.