Timing diagrams: Formalization and algorithmic verification
type: Item
instance of: scholarly article
title: Timing diagrams: Formalization and algorithmic verification
zbMATH Open document ID: 0941.03032
DOI: 10.1023/A:1008345113376
author: Kathi Fisler
published in: Journal of Logic, Language and Information
publication date: 1999-09-22T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 68M07
zbMATH DE Number: 1343513
zbMATH Keywords: \(\omega\)-regular languages
zbMATH Keywords: language containment
zbMATH Keywords: model checking
zbMATH Keywords: hardware design
zbMATH Keywords: computer-aided verification
zbMATH Keywords: timing diagram logic
zbMATH Keywords: Büchi automata
zbMATH Keywords: reversal bounded counter machine languages
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1343513