New posts in Model Checking

symbolic execution and model-checking