RED (Region Encoding Diagram), first reported by F.Wang (2000), is a BDD-like data structure for fully symbolic verification of symmetric real time systems with single clock per process. We propose to ...

The wiring diagram of feedforward inhibition, which is amenable to robust plasticity at least during an intermediate period of encoding (a few days), should also be better understood.

Second, a recently proposed Region Encoding Diagram (RED) technology is used to show how state-space size explosions due to high concurrency can be efficiently handled in WTP verification. Published ...