This is an old revision of the document!


A PCRE internal error occured. This might be caused by a faulty plugin

====== Counter Systems Competition (CSComp) ====== Counter Systems (a.k.a. Counter Automata or Counter Machines) are simple models of computation involving infinite (or very large) data domains, such as integers, floating-point or real numbers. Despite their apparent simplicity, counter systems can, in theory, model any real-life computer system, ranging from hardware circuits to programs. As a consequence, an important number of tools have emerged, addressing verification problems, such as reachability or termination, and deploying various techniques (widening, predicate abstraction, acceleration, etc.). A detailed definition of counter systems of the verification problems we consider can be found here. The aim of CSComp is to focus the verification community on a common general format (cs-lib) for describing counter systems, and to build a open library of benchmarks that will be contributed to by tool developers. * Rules * Download cs-lib * Tags * Benchmarks * Participants * Results