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

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

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

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

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