Login / Signup

A case study on the lightweight verification of a multi-threaded task server.

Néstor CatañoIjaz AhmedRadu I. SiminiceanuJonathan Aldrich
Published in: Sci. Comput. Program. (2014)
Keyphrases
  • lightweight
  • multi threaded
  • operating system
  • authentication protocol
  • information flow
  • multithreading
  • multi core processors
  • client server
  • computer architecture
  • real time
  • low cost