Uppaal Demo: queries on model of buffer queue
minibuffer.q
—
Plain Text,
113 bytes
File contents
//This file was generated from (Academic) UPPAAL 4.0.8 (rev. 4276), March 2009 /* */ E<> q.l1 /* */ E<> q.lx