Hybrid Symbolic Execution and Bounded Model Checking Engine
This release is referenced in the bachelor thesis titled "A Hybrid Symbolic Execution and Bounded Model Checking Engine in Selfie" by Christian Edelmayer.
This release is referenced in the bachelor thesis titled "A Hybrid Symbolic Execution and Bounded Model Checking Engine in Selfie" by Christian Edelmayer.