TYehan/NuSMV-Practicals

Practical on concurrent system modeling and simulations using NuSMV. :Formal Methods and Software Verification module in University Final Year :SE

Language: Batchfile - Size: 5.86 KB - Last synced at: about 5 hours ago - Pushed at: about 6 hours ago - Stars: 0 - Forks: 0

montao/formal-verification

🌍 The SMV models

Language: Matlab - Size: 22.5 KB - Last synced at: 22 days ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

lou1306/pyxmv

(Unofficial) Python interface to nuXmv

Language: Python - Size: 121 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

perpendicooler/SMV

Language: Jupyter Notebook - Size: 5.64 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

andronicaa/Surgical-mask-detection

Training a model for surgical mask detection in the context of the COVID-19. It is a binary classification task in which an audio file must be labeled as without mask or with mask.

Language: Python - Size: 323 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

kevin-doolaeghe/se2a5_tp_smv

SE2A5 | Semestre n°9 - TP SMV / Vérification fonctionnelle

Size: 1.95 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

andrelbd1/8queens-SMV

Modeling the 8queens problem in SMV

Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0