An overview of the runtime verification tool Java PathExplorer
type: Item
instance of: scholarly article
title: An overview of the runtime verification tool Java PathExplorer
zbMATH Open document ID: 1073.68549
author: Klaus Havelund
author: Grigore Roşu
published in: Formal Methods in System Design
publication date: 2004-09-09T00:00:00Z
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 2100117
zbMATH Keywords: runtime verification
zbMATH Keywords: trace analysis
zbMATH Keywords: temporal logic
zbMATH Keywords: rewriting logic
zbMATH Keywords: Maude
zbMATH Keywords: automata
zbMATH Keywords: dynamic programming
zbMATH Keywords: program instrumentation
zbMATH Keywords: deadlocks
zbMATH Keywords: data races
zbMATH Keywords: Java
describes a project that uses: Java PathFinder
describes a project that uses: Bandera
describes a project that uses: Maude
describes a project that uses: veriSoft
MaRDI profile type: Publication
full work available at URL: b:form.0000017721.39909.4b
OpenAlex ID: W2048327004
DOI: 10.1023/B:FORM.0000017721.39909.4B
description: scientific article; zbMATH DE number 2100117