The model checker SPIN

• Counter Example Guided Abstraction Refinement for IEC 60848 GRAFCET

  2025 IEEE Industrial Electronics Society Annual On-Line Conference (ONCON) conference-paper Computer Science Formal Methods in Verification

  0

  citations
• MBFair: a model-based verification methodology for detecting violations of individual fairness

  2024 Software & Systems Modeling article Social Sciences Ethics and Social Impacts of AI Open access

  1

  citations
• Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking

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

  4

  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
• Model checking smart contracts for Ethereum

  2020 Pervasive and Mobile Computing article Computer Science Blockchain Technology Applications and Security

  47

  citations
• Symbolic Model Checking with Sentential Decision Diagrams

  2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  5

  citations

6 results