Login / Signup
Automated verification of the FreeRTOS scheduler in Hip/Sleek.
João F. Ferreira
Cristian Gherghina
Guanhua He
Shengchao Qin
Wei-Ngan Chin
Published in:
Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases
</>
automated verification
model checking
automated reasoning
formal verification
scheduling algorithm
temporal logic
resource manager
graph theory
programming language
theorem prover
neural network
knowledge representation
data sets
website
information systems
resource utilization
databases