General parallel mining method for linear temporal logic specifications
A temporal logic and normative technology, applied in the computer field, can solve problems such as the difficulty of constructing formal properties and hinder the wide application of model checking technology, and achieve the effect of efficient acquisition.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0033] Exemplary embodiments of the present disclosure will be described in more detail below with reference to the accompanying drawings. Although exemplary embodiments of the present disclosure are shown in the drawings, it should be understood that the present disclosure may be embodied in various forms and should not be limited by the embodiments set forth herein. Rather, these embodiments are provided for more thorough understanding of the present disclosure and to fully convey the scope of the present disclosure to those skilled in the art.
[0034] like figure 1 As shown, the general parallel mining method of linear temporal logic specification implemented by the above system includes steps:
[0035] S110, preprocessing step: splitting the log file, separating the independent track in the log file (the track is the sequence that events are arranged in chronological order), obtain the collection (EVENT) of all events in the log file and each event in the log file The p...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com