SourceMage Grimoire Bug List

[bugzilla-daemon AT bugs.sourcemage.org]

Bug ID	16159
Summary	[request] esbmc
Product	New Spells
Version	unspecified
Hardware	x86
OS	Linux
Status	NEW
Severity	normal
Priority	P2
Component	Spell Submission
Assignee	sm-grimoire-bugs AT lists.ibiblio.org
Reporter	ismael AT iodev.co.uk
Classification	Unclassified

Webssite: http://esbmc.org/
Source-Code: https://github.com/esbmc/esbmc
    License: Apache-2.0

Description:
ESBMC is an open source, permissively licensed, context-bounded model checker
based on satisfiability modulo theories for the verification of single- and
multi-threaded C/C++ programs. It does not require the user to annotate the
programs with pre- or postconditions, but allows the user to state additional
properties using assert-statements, that are then checked as well. Furthermore,
ESBMC provides two approaches (lazy and schedule recording) to model check
multi-threaded programs. It converts the verification conditions using
different background theories and passes them directly to an SMT solver.

---

      You are receiving this mail because:

• You are the assignee for the bug.