BPPChecker: An SMT-based Model Checker on Basic Parallel Processes.

Ying Zhao Jinhao Tan Guoqiang Li

Published in: CoRR (2021)

Keyphrases

model checker
model checking
formal verification
formal methods
formal specification
temporal logic
description language
symbolic model checking
domain specific
test suite
ai planning
set theory