Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cisy [2012/04/17 13:05]
vkuncak
cisy [2012/04/17 14:16] (current)
vkuncak
Line 1: Line 1:
 ====== Circuit-Based Synthesis from Regular Specifications ====== ====== Circuit-Based Synthesis from Regular Specifications ======
 +
 +See the paper [[http://​lara.epfl.ch/​~kuncak/​papers/​SpielmannKuncak12SynthesisUnboundedBitvectorArithmetic.html|Synthesis for Unbounded Bitvector Arithmetic]].
  
 Until this page is updated, please contact [[http://​people.epfl.ch/​andrej.spielmann|Andrej Spielmann]]. Until this page is updated, please contact [[http://​people.epfl.ch/​andrej.spielmann|Andrej Spielmann]].
  
 Related project: [[:RegSy]] and [[:​Comfusy]]. Related project: [[:RegSy]] and [[:​Comfusy]].
 
cisy.txt · Last modified: 2012/04/17 14:16 by vkuncak