Contents:
N-PAT is a proof of concept model-checking tool that supports the verification of nested-models, i.e. models whose behaviour depends on the results of verification tasks.