TLA+ specification for a four-bit computer based on the logic circuit view of the FSM
hrishitchaudhuri / fbc Goto Github PK
View Code? Open in Web Editor NEWTLA+ specification for a four-bit counter based on the logic circuit view of the FSM
License: MIT License