Automated assumption generation for compositional verification
type: Item
instance of: scholarly article
title: Automated assumption generation for compositional verification
zbMATH Open document ID: 1147.68050
author: Anubhav Gupta
author: K. L. McMillan
author: Zhaohui Fu
published in: Formal Methods in System Design
publication date: 2008-07-30T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5306151
zbMATH Keywords: Formal verification
zbMATH Keywords: Model checking
zbMATH Keywords: Compositional verification
zbMATH Keywords: Assume-guarantee
zbMATH Keywords: SAT
zbMATH Keywords: Decision tree
describes a project that uses: Cadence SMV
MaRDI profile type: Publication
full work available at URL: s10703-008-0050-0
OpenAlex ID: W2013887890
cites work: Computer Aided Verification
cites work: Learning regular sets from queries and counterexamples
cites work: Q4417936
cites work: Optimized L*-Based Assume-Guarantee Reasoning
cites work: Complexity of automaton identification from given data
cites work: Q4332902
cites work: Q3141897
cites work: Q4398828
cites work: State Reduction in Incompletely Specified Finite-State Machines
cites work: SAT-Based Compositional Verification Using Lazy Learning
DOI: 10.1007/S10703-008-0050-0
description: scientific article; zbMATH DE number 5306151