Action language verifier: An infinite-state model checker for reactive software specifications
type: Item
instance of: scholarly article
title: Action language verifier: An infinite-state model checker for reactive software specifications
zbMATH Open document ID: 1185.68427
author: Tuba Yavuz-Kahveci
author: Tevfik Bultan
published in: Formal Methods in System Design
publication date: 2010-02-05T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5666998
zbMATH Keywords: Keywords: Symbolic model checking
zbMATH Keywords: Infinite state model checking
zbMATH Keywords: Automated abstraction
describes a project that uses: SPIN
describes a project that uses: Uppaal
describes a project that uses: LEVER
describes a project that uses: HyTech
describes a project that uses: NuSMV
describes a project that uses: MONA
MaRDI profile type: Publication
full work available at URL: s10703-009-0081-1
OpenAlex ID: W2010729520
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Efficient Symbolic Representations for Arithmetic Constraints in Verification
cites work: Computer Aided Verification
cites work: Q4804909
cites work: Q2754073
cites work: Constraint-based verification of parameterized cache coherence protocols
cites work: Q4475639
cites work: Q2769584
cites work: HyTech: A model checker for hybrid systems
cites work: Q4472223
cites work: Q3141897
cites work: Bounded model checking of infinite state systems
cites work: Learning to verify branching time properties
cites work: Q4411951
DOI: 10.1007/S10703-009-0081-1
description: scientific article; zbMATH DE number 5666998