Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols.

Geoffrey M. Brown, Lee Pike

Browse the full MEMOCODE paper archive.