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

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

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

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Start Free

Recommended Projects

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
SDM
System Decision Machine is a rule-based state machine which aims to bring a new system design : what state to go next, given the current waiting state, the fired event, and the evolution rules. Actions could be implemented in any supported language
Program Computing DDEC Atomic Charges
This program computes Density Derived Electrostatic and Chemical (DDEC) net atomic charges and atomic multipoles for periodic and nonperiodic systems. These chemically meaningful net atomic charges approximately reproduce the electrostatic potential.