Coverage metrics for temporal logic model checking
type: Item
instance of: scholarly article
title: Coverage metrics for temporal logic model checking
zbMATH Open document ID: 1105.68075
author: Hana Chockler
author: Orna Kupferman
author: Moshe Y. Vardi
published in: Formal Methods in System Design
publication date: 2006-11-17T00:00:00Z
full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 5073682
zbMATH Keywords: Formal verification
zbMATH Keywords: Model checking
zbMATH Keywords: Coverage metrics
zbMATH Keywords: Algorithms
describes a project that uses: CESAR
MaRDI profile type: Publication
OpenAlex ID: W2019873882
cites work: Computer Aided Verification
cites work: Efficient detection of vacuity in temporal model checking
cites work: Correct Hardware Design and Verification Methods
cites work: Q4385542
cites work: Q4888830
cites work: Q3703299
cites work: Q3777424
cites work: Q4494396
cites work: Q4494388
cites work: An automata-theoretic approach to branching-time model checking
cites work: Q4002642
cites work: Q4804918
cites work: Q3940830
cites work: Q3762226
DOI: 10.1007/S10703-006-0001-6
Recommended article: Q2769612
Recommended article: Q4551135
Recommended article: Q5311048
Recommended article: Q4472251
Recommended article: Model-checking Timed Temporal Logics
Recommended article: Q4787226
Recommended article: Model Checking Temporal Metric Specifications with Trio2Promela
Recommended article: Correct Hardware Design and Verification Methods
Recommended article: A model checker for linear time temporal logic
description: scientific article; zbMATH DE number 5073682