An overview of the runtime verification tool Java PathExplorer (Q1878923)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An overview of the runtime verification tool Java PathExplorer |
scientific article |
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
