SMT based false causal loop detection during code synthesis from Polychronous specifications.

Bijoy Antony Jose, Abdoulaye Gamati, Julien Ouy, Sandeep K. Shukla

Browse the full MEMOCODE paper archive.