Specification, verification, and synthesis using extended state machines with callbacks.

Farhaan Fowze, Tuba Yavuz

Browse the full MEMOCODE paper archive.