\(\infty\)-regular temporal logic and its model checking problem
type: Item
instance of: scholarly article
title: \(\infty\)-regular temporal logic and its model checking problem
zbMATH Open document ID: 0762.03011
DOI: 10.1016/0304-3975(92)90012-5
author: Kiyoharu Hamaguchi
author: Hiromi Hiraishi
author: S. Yajima
published in: Theoretical Computer Science
publication date: 1993-01-16T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 94C10
Mathematics Subject Classification ID: 03B80
zbMATH DE Number: 94458
zbMATH Keywords: complexity
zbMATH Keywords: model checking
zbMATH Keywords: infinitary regular temporal logic
zbMATH Keywords: fairness
zbMATH Keywords: expressive power
zbMATH Keywords: \(\omega\)-regular sets
zbMATH Keywords: formal verification of finite state machines
MaRDI profile type: Publication
full work available at URL: 0304-3975(92)90012-5
OpenAlex ID: W2022371068
cites work: Q4733381
cites work: Hardware Specification with Temporal Logic: An Example
cites work: Automatic Verification of Sequential Circuits Using Temporal Logic
cites work: Q5525343
cites work: Q4079524
cites work: Q5592246
cites work: Testing and generating infinite sequences by a finite automaton
description: scientific article; zbMATH DE number 94458