An overview of the runtime verification tool Java PathExplorer (Q1878923)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An overview of the runtime verification tool Java PathExplorer |
scientific article; zbMATH DE number 2100117
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An overview of the runtime verification tool Java PathExplorer |
scientific article; zbMATH DE number 2100117 |
Statements
An overview of the runtime verification tool Java PathExplorer (English)
0 references
9 September 2004
0 references
runtime verification
0 references
trace analysis
0 references
temporal logic
0 references
rewriting logic
0 references
Maude
0 references
automata
0 references
dynamic programming
0 references
program instrumentation
0 references
deadlocks
0 references
data races
0 references
Java
0 references
