Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

An Overview of the Runtime Verification Tool Java PathExplorer

2004221 citationsJournal Article

Authors

Klaus Havelund · Ames Research Center

Grigore Roşu · University of Illinois Urbana-Champaign

Topics & Keywords

Formal Methods in Verification Software Testing and Debugging Techniques Real-Time Systems Scheduling

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

Published in: Formal Methods in System Design

Volume 24, Issue 2, pp. 189-215

DOI: 10.1023/b:form.0000017721.39909.4b

Field-Weighted Citation Impact: 18.81

An Overview of the Runtime Verification Tool Java PathExplorer | Researchclopedia