Skip to main navigation
Skip to search
Skip to main content
Northern Arizona University Home
Home
Profiles
Departments and Centers
Scholarly Works
Activities
Grants
Datasets
Prizes
Search by expertise, name or affiliation
Formal analysis of log files
Howard Barringer
,
Alex Groce
, Klaus Havelund
, Margaret Smith
Research output
:
Contribution to journal
›
Article
›
peer-review
73
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Formal analysis of log files'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Automata
50%
Automated Testing
25%
CPU Resource
25%
Debugging
25%
Embedded Applications
25%
Event Record
25%
Formal Analysis
100%
Ground Operations
25%
Jet Propulsion Laboratory
50%
Log Files
100%
Mars
25%
Memory Resource
25%
Online Responses
25%
Operation Team
25%
Rule-based Languages
25%
Runtime Verification
100%
Software Developers
25%
Software Testing
25%
Spacecraft Telemetry
25%
Specification Language
75%
System Design
25%
Temporal Specification
25%
Verification System
25%
Computer Science
Automaton
50%
Case Study
25%
Embedded Application
25%
Laboratory Test
25%
Operation Team
25%
runtime verification
100%
Software Engineer
25%
Specification Language
75%
Test Automation
25%
Verification System
25%