Project for the Formal Methods In Software Development course at the University of "La Sapienza" in Master in Computer Science A.A. 2021/2022
-
Updated
Jun 20, 2022 - MATLAB
#
nusmv-model-checker
Here are 6 public repositories matching this topic...
Analysis of Formal Specifications SAT, SMT, Alloy, NuSMV.
-
Updated
Jul 3, 2024 - Java
This project combines Answer Set Programming for optimal drone delivery route planning with temporal logic verification of flight maneuvers. It balances distance and energy costs while formally verifying safety properties, providing mathematical guarantees for autonomous drone operations
temporal-logic model-checking formal-methods answer-set-programming travelling-salesman-problem drone-delivery potassco path-optimization nusmv-model-checker
-
Updated
Mar 1, 2025
finite-state-machine formal-methods petri-nets model-checker process-mining state-charts pm4py itemis nusmv-model-checker llm
-
Updated
Feb 28, 2025 - Jupyter Notebook
Analyzing Transition Systems (Finite State Machines) With NuSMV
-
Updated
Apr 11, 2023 - C
Improve this page
Add a description, image, and links to the nusmv-model-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the nusmv-model-checker topic, visit your repo's landing page and select "manage topics."