From b8667b8232e633e89873a14408401823ac549900 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rafael=20S=C3=A1=20Menezes?= Date: Sun, 10 May 2020 12:26:03 -0400 Subject: [PATCH] added esbmc --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index 9e07e04..2fc9b50 100644 --- a/README.md +++ b/README.md @@ -313,6 +313,8 @@ work. debuggers. [``GPL-3.0-or-later``][GPL-3.0-or-later] * [debug][467] - One-header library for easier 'printf debugging'. [``MIT``][MIT] +* [ESBMC][567] - Efficient SMT-based Bounded Model Checker; a tool for verification of + single and multithread programs, user assertions, overflow, and pointer/memory safety. [``Apache-2.0``][Apache-2.0] * [GDB][87] - GNU Project debugger. [``GPL-3.0-or-later``][GPL-3.0-or-later] * [lldb][468] - LLVM debugger. [``NCSA``][NCSA] * [rr][95] - Debugger that records non-deterministic executions to allow for @@ -1688,3 +1690,4 @@ support for C. [564]: https://github.com/ithewei/libhv [565]: https://github.com/sakhmatd/rogueutil [566]: https://github.com/the-tcpdump-group/libpcap +[567]: http://esbmc.org/