ESBMC-Python: A Bounded Model Checker for Python Programs.

Bruno Farias Rafael Menezes Eddie B. de Lima Filho Youcheng Sun Lucas C. Cordeiro

Published in: CoRR (2024)

Keyphrases

model checker
open source
model checking
programming language
formal methods
formal verification
object oriented
temporal logic
description language
test suite
specification language
set theory
training set
petri net
reverse engineering
ai planning