Essays about: "Formal Verification NuSMV JavaPathFinder Spin Promela CTL LTL DMA UART Model Checking Theorem Proving"
Found 1 essay containing the words Formal Verification NuSMV JavaPathFinder Spin Promela CTL LTL DMA UART Model Checking Theorem Proving.
-
1. Formal Verification of Hardware Peripheral with Security Property
University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)Abstract : One problem with computers is that the operating system automatically trusts any externallyconnected peripheral. This can result in abuse when a peripheral technically can violate the security model because the peripheral is trusted. Because of that the security is an important issue to look at. READ MORE
Result pages:
1