ARTMC je prototypový nástroj určený k verifikaci programů pracujících s dynamickými datovými strukturami. Je založen na obecné technice pro verifikace - %22abstraktním regulárním model checkingu%22. (cs)
The ARTMC tool is a prototype implementation of the technique for verification of programs manipulating dynamic data structures. It is based on the generic model-checking technique %22Abstract regular tree model checking%22.
The ARTMC tool is a prototype implementation of the technique for verification of programs manipulating dynamic data structures. It is based on the generic model-checking technique %22Abstract regular tree model checking%22. (en)