The nuXmv Symbolic Model Checker

• Liveness Proofs for Hardware Model Checking

  2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  0

  citations
• IC3 for Loop Invariant Generation in Deductive Analysis

  2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  0

  citations
• Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework Based on Behavior Trees

  2024 conference-paper Engineering Underwater Vehicles and Communication Systems Open access

  3

  citations
• AutoKnigge—Modeling, Evaluation and Verification of Cooperative Interacting Automobiles

  2024 Springer eBooks book-chapter Engineering Traffic control and management Open access

  0

  citations
• A Decision Diagram Operation for Reachability

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  2

  citations
• Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking

  2021 conference-paper Computer Science Formal Methods in Verification

  3

  citations

6 results