Automated flaw detection in algebraic specifications
type: Item
instance of: scholarly article
title: Automated flaw detection in algebraic specifications
zbMATH Open document ID: 1207.68337
author: Andriy Dunets
author: Gerhard Schellhorn
author: Wolfgang Reif
published in: Journal of Automated Reasoning
publication date: 2011-01-12T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 5835457
zbMATH Keywords: algebraic specifications
zbMATH Keywords: abstract data types
zbMATH Keywords: first-order logic
zbMATH Keywords: theorem proving
zbMATH Keywords: SAT checking
zbMATH Keywords: finite models
zbMATH Keywords: formal methods
describes a project that uses: PVS
describes a project that uses: Prover9
describes a project that uses: Chaff
describes a project that uses: Isabelle
describes a project that uses: CASL
describes a project that uses: Mace4
describes a project that uses: FINDER
describes a project that uses: Kodkod
describes a project that uses: KIV
MaRDI profile type: Publication
full work available at URL: s10817-010-9166-1
OpenAlex ID: W2070717690
cites work: Q4809057
cites work: Q4524769
cites work: Interactive verification of concurrent systems using symbolic execution
cites work: Q5291078
cites work: Q4144755
cites work: Automating Algebraic Specifications of Non-freely Generated Data Types
cites work: Bounded Relational Analysis of Free Data Types
cites work: Q3221381
cites work: Q4790385
cites work: Q4436059
cites work: Q3024873
cites work: Automation for interactive proof: first prototype
cites work: CASL reference manual. The complete documentation of the common algebraic specification language.
cites work: Q4524764
cites work: Theorem proving in large theories
cites work: Q4539647
cites work: The WAM case study: Verifying compiler correctness for Prolog with KIV
cites work: Algebraic Methodology and Software Technology
cites work: Kodkod: A Relational Model Finder
DOI: 10.1007/S10817-010-9166-1
description: scientific article; zbMATH DE number 5835457