Dataset - CKAN

Equational Abstraction Refinement for Certified Tree Regular Model Checking

Tree Regular Model Checking (TRMC) is the name of a family of techniques for analyzing in nite-state systems in which states are represented by trees and sets of...
- HTML

You can also access this registry using the API (see API Docs).