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

Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try it 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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

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.