GabrielCellammare/Formal-Methods-for-Optimized-and-Verified-Drone-Delivery-Systems

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

Size: 0 Bytes - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

LeonardoSaccotelli/Formal-Methods-For-Computer-Science

Language: Jupyter Notebook - Size: 83.4 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

nnlnuu/NuSMV-Project

Apply Nusmv to Mesi protocol

Size: 24.4 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

salarkalan/Specs-Analysis

Analysis of Formal Specifications SAT, SMT, Alloy, NuSMV.

Language: Java - Size: 29.7 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

lmriccardo/needham-schroeder-verification

Project for the Formal Methods In Software Development course at the University of "La Sapienza" in Master in Computer Science A.A. 2021/2022

Language: MATLAB - Size: 285 KB - Last synced at: 19 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

trong0dn/NuSMV-model-checker

Analyzing Transition Systems (Finite State Machines) With NuSMV

Language: C - Size: 12.1 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0