research
∙
05/12/2020
N-PAT: A Nested Model-Checker
N-PAT is a new model-checking tool that supports the verification of nes...
share
research
∙
10/03/2019
Use your Google Account to sign in to DeepAI
