Model Checking using Generalized Testing Automata
type: Dataset
description: International audience
landing page: 1867-7193
keyword: generalizedtesting-automata
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-sccomputer-science-cssymbolic-computation-cssc
keyword: journal-articles
keyword: model-checking
keyword: stutter-invariant-temporal-properties
issued: 2026-05-09T23:08:15.327579
modified: 2026-05-09T23:08:15.327585
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Model Checking using Generalized Testing Automata
type: Distribution
format: HTML
access URL: https://hal.science/hal-00855991
issued: 2026-05-09T23:08:15.329955
modified: 2026-05-09T23:08:15.318452