Translating Java for multiple model checkers: The Bandera back-end
type: Item
instance of: scholarly article
title: Translating Java for multiple model checkers: The Bandera back-end
zbMATH Open document ID: 1086.68557
author: Radu Iosif
author: Matthew B. Dwyer
author: John Hatcliff
published in: Formal Methods in System Design
publication date: 2006-02-20T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5007751
zbMATH Keywords: Bandera intermediate representation
describes a project that uses: SPIN
describes a project that uses: SyncGen
describes a project that uses: Java PathFinder
describes a project that uses: Bandera
describes a project that uses: TVLA
describes a project that uses: veriSoft
describes a project that uses: IF-2.0
describes a project that uses: NuSMV
describes a project that uses: Bebop
describes a project that uses: dSPIN
describes a project that uses: PVS
MaRDI profile type: Publication
full work available at URL: s10703-005-1491-3
OpenAlex ID: W2093826986
cites work: Q2754091
cites work: Q5679697
cites work: Q2753756
cites work: NuSMV: A new symbolic model checker
cites work: Q4804909
cites work: Q3336675
cites work: Q2753762
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Q4530808
cites work: A partial order approach to branching time logic model checking.
cites work: Q3707345
cites work: Branching time and abstraction in bisimulation semantics
cites work: Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
cites work: Q4414730
cites work: Slicing software for model construction
cites work: Model checking JAVA programs using JAVA PathFinder
cites work: Lazy abstraction
cites work: Q2753748
cites work: Q2722067
cites work: Q4738472
cites work: Q4806206
cites work: Q4002642
cites work: Three logics for branching bisimulation
cites work: Q2769593
cites work: Q2753763
cites work: Verifying safety properties of concurrent Java programs using 3-valued logic
DOI: 10.1007/S10703-005-1491-3
description: scientific article; zbMATH DE number 5007751