sm-grimoire-bugs AT lists.ibiblio.org
Subject: SourceMage Grimoire Bug List
List archive
[SM-Grimoire-Bugs] [Bug 16159] New: [request] esbmc
- From: bugzilla-daemon AT bugs.sourcemage.org
 - To: sm-grimoire-bugs AT lists.ibiblio.org
 - Subject: [SM-Grimoire-Bugs] [Bug 16159] New: [request] esbmc
 - Date: Fri, 01 Dec 2023 12:17:56 +0000
 
| 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.
 
- [SM-Grimoire-Bugs] [Bug 16159] New: [request] esbmc, bugzilla-daemon, 12/01/2023
 
Archive powered by MHonArc 2.6.24.