Golok download | SourceForge.net

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

Other Useful Business Software

PRTG Catches Network Issues Before They Cause Downtime Icon

PRTG Catches Network Issues Before They Cause Downtime

Threshold-based alerts flag problems early, so your team can act before users notice, not after.

Reactive troubleshooting usually means hearing about a problem from frustrated users, not your monitoring tool. PRTG sets threshold-based alerts across devices, servers and applications, notifying your team by email, SMS or push the moment a metric crosses a set limit. That means catching a failing disk or overloaded server before it becomes an outage and getting time back from firefighting. Start a free trial and set your first alerts today.

Download 30-Day Trial

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of Golok!

Additional Project Details

Registered

2010-02-06

Report inappropriate content

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Recommended Projects

MAF (Monoid Automata Factory)
A reworking in C++ of KBMAG. A package and C++ library for computing automatic structures and confluent rewriting system for group and coset rewriting systems, and for computing with finite state automata
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.
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
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.