Latest Research in Formal Verification Reasoning

Top Research Topics in Formal Verification Reasoning

• Logic in Computer Science — 51 papers
• Data Structures and Algorithms — 31 papers
• Logic, programming, and type systems — 30 papers
• Logic, Reasoning, and Knowledge — 14 papers
• Artificial Intelligence — 14 papers
• Programming Languages — 12 papers
• Distributed systems and fault tolerance — 12 papers
• Multi-Criteria Decision Making — 11 papers
• Machine Learning — 11 papers
• Formal Languages and Automata Theory — 10 papers

Highest-Cited Papers

1. The Past, Present, and Future of Formal Methods in Brazil (1 citations)
2. ZTL — Zero-Trust Logic (5 citations)
3. A Continuation-Based Solution of the Linearity Challenge
4. Five-expert PDE: lean formalization
5. The non-inclusive g -extra diagnosability of the exchanged hypercube under the PMC and MM* models
6. THE PROOF IS IN THE CHECKING
7. A Study on the Chromatic Numbers of Fuzzy Graphs
8. The Anti-Lexicographic SUS-Anchor: An Empirically Optimal Selection Scheme
9. The Complexity of Generalized HyperLTL with Stuttering and Contexts
10. Reflexive trust Index for assessing internal consistency in Z-number-based information
11. The g-Good-Neighbor Diagnosability of Balanced Hypercubes
12. Infinitary negative translations and Glivenko logic
13. Safe Exploration of Arbitrary Dynamic Dangerous Networks
14. PAA: The Probabilistic Allen Algebra: A Generative and Complete Probabilistic Extension of Allen's Interval Relations
15. Optimal estimators and tests for reciprocal effects
16. Counting Triangles in Graph Streams with Repeatable and Forgettable Edges
17. STLSat---An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas
18. COMPASS: Ordered Clustered Routing at 100K Scale
19. An Explicit Ordinal Bound for System T Dialogue Trees
20. History-Deterministic Büchi Automata are Succinct

Sub-Regions

• Machine Learning — 84 papers
• Logic in Computer Science — 76 papers
• Data Structures and Algorithms — 62 papers
• Distributed systems and fault tolerance — 53 papers
• Programming Languages — 51 papers
• Logic, programming, and type systems — 43 papers