An overview of the runtime verification tool Java PathExplorer
From MaRDI portal
Publication:1878923
DOI10.1023/B:FORM.0000017721.39909.4bzbMath1073.68549OpenAlexW2048327004MaRDI QIDQ1878923
Publication date: 9 September 2004
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:form.0000017721.39909.4b
dynamic programmingautomataJavatemporal logicdeadlocksruntime verificationrewriting logicMaudeprogram instrumentationdata racestrace analysis
Related Items
Runtime monitors for Markov decision processes, A brief account of runtime verification, An extended account of contract monitoring strategies as patterns of communication, Assumption-based runtime verification, From LTL to rLTL monitoring: improved monitorability through robust semantics, Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability, Runtime verification of embedded real-time systems, Automation of the construction of models of normal program behavior, Integrating a formal method into a software engineering process with UML and Java, Combining test case generation and runtime verification, JPAX, Mu-calculus path checking, Efficient abstraction algorithms for predicate detection
Uses Software
