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.

Model checking JAVA programs using JAVA PathFinder | Researchclopedia

Back to research

Model checking JAVA programs using JAVA PathFinder

2000793 citationsJournal Articlegreen Open Access

Authors

Klaus Havelund · Ames Research Center

Thomas Pressburger · Ames Research Center

Topics & Keywords

Formal Methods in Verification Security and Verification in Computing Radiation Effects in Electronics

UN Sustainable Development Goals

Partnerships for the goals

Publication Details

Published in: International Journal on Software Tools for Technology Transfer

Volume 2, Issue 4, pp. 366-381

DOI: 10.1007/s100090050043

Field-Weighted Citation Impact: 58.18