Extending BDD technology to dense-time spaces


We have moved to Source Forge under the project name of REDLIB. 

Please click REDLIB to the Source Forge REDLIB webpage. 

** For your interest, RED is also an acronym for Region-Encoding Diagram, the technology used for the first few versions of RED before we changed to CRD. 


Professor Farn Wang

Dept. of Electrical Engineering

National Taiwan University

Farn's webpage