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

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Golok!

Additional Project Details

Registered

2010-02-06

Report inappropriate content

Featured

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Recommended Projects

SmGen
Verilog Finite State Machine (FSM) Code Generator
Cellumat3D
Cellumat3D is a tool for simulating and exploring 3D cellular automata. The simulated universe is effectively unbound and visualized using OpenGL. Currently 2-state automata similar to Conway's 2D "Game of Life" with customizable rulesets are supported.
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.
Kandid
Kandid generates images using genetic algorithms. In a simulated evolution surprising images can be found calculated with Lisp expressions, Textures, Iterated Function Systems, Linear Cellular Automata, Voroni diagrams, Lindenmayer Systems and POVray
Automata editor
automata editor