https://github.com/montao/formal-verification

🌍 The SMV models
https://github.com/montao/formal-verification

formal-verification hardware-peripherals model-checking smv-models

Last synced: 3 months ago
JSON representation

🌍 The SMV models

• Host: GitHub
• URL: https://github.com/montao/formal-verification
• Owner: montao
• License: bsd-2-clause
• Created: 2017-04-06T20:20:27.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2017-05-21T19:41:57.000Z (about 9 years ago)
• Last Synced: 2025-06-02T21:09:17.884Z (12 months ago)
• Topics: formal-verification, hardware-peripherals, model-checking, smv-models
• Language: Matlab
• Homepage:
• Size: 22.5 KB
• Stars: 1
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Formal models of hardware peripherals

Our aim has been to build and verify SMV models of hardware peripherals with use of the model checker NuSMV to check security properties and a liveness property. We created a model of the CPU, a model of the universal asynchronous transmitter/receiver (UART), a DMA controller model, an MMU model and a model of the main memory (RAM).