/moore_seq_detector_overlapping

Formally verified "1011" overlapping sequence detector - Moore FSM

Primary LanguageSMT

Stargazers

No one’s star this repository yet.