Golok

Brought to you by: hridesh, nedgty, pmath13, sralmai

Last Update: 2015-09-26

Browse Code

Get an email when there's a new version of Golok

Golok is a framework for automatic verification of parameterized systems. Given the atomic actions of the processes of the system as behavioral automata, the system topology, and the initial state, Golok automatically generates cut-off value.

Project Activity

See All Activity >

Follow Golok

Golok Web Site

Other Useful Business Software

Stop vibe-debugging.

Plug Claude into your app's actual errors.

AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.

Free 30 days.

Rate This Project

User Reviews

Be the first to post a review of Golok!

Additional Project Details

Registered

2010-02-06

Report inappropriate content

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Recommended Projects

SmGen
Verilog Finite State Machine (FSM) Code Generator
Triple-A
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
Atom Light
3 levels density matrix simulation. Currently it enables you to get time solvetions for three-level systems. It's generates files with time solvetions for density matrix. In the future It will solve multilevel atomic system on MPI.
Automata editor
automata editor
Hyperformer
Hypergraph Transformer for Skeleton-based Action Recognition