ESBMC (Efficient SMT-Based Context-Bounded Model Checker)
| Home |
| News |
| Documentation |
| Downloads |
| Publications |
| Applications |
| Benchmarks |
| Acknowledgements |
| FUNDING | ||
The development of ESBMC was supported by EPSRC under the NOTOS project (grant EP/E012973/1), Royal Society, and Nokia Institute of Technology.
|
||
| CONTRIBUTORS | ||
|
Felipe Rodrigues
Hendrio Marques
Jeremy Morse
Mauro Lopes
Mikhail Ramalho
|