Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: simulation-finite-automaton

danielbinder/LogiVis

A teaching aid for concepts and algorithms in logic

Language: Java - Size: 15.5 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

Related Keywords
automata 1 boolean-algebra 1 boolean-logic 1 bounded-model-checking 1 ctl 1 deterministic 1 finite-automata 1 finite-automaton 1 finite-state-machine 1 kripke-structure 1 logic 1 logic-programming 1 sat-solver 1 simulation-finite-automaton 1 temporal-logic 1