Search Data.gov

Found 2 dataset(s) matching "model-checking".

Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking
- Organization: National Aeronautics and Space Administration
- Updated: 2025-04-01 | Harvested: September 06, 2025 at 12:55 AM
The translation of temporal logic specifications constitutes an essen- tial step in model checking and a major influence on the efficiency of formal verification via model checking. We devise a...
- pdf
ARC Code TI: PathDroid
- Organization: National Aeronautics and Space Administration
- Updated: 2025-07-17 | Harvested: July 18, 2025 at 06:12 PM
Pathdroid is a framework to analyze binary Android applications for program defects and malicious behaviors. Pathdroid is based on the Java Pathfinder (JPF) verification system...