Login / Signup

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures.

Robert J. ColvinIan J. HayesScott HeinerPeter HöfnerLarissa MeinickeRoger C. Su
Published in: CoRR (2024)
Keyphrases
  • model checking
  • computer systems
  • practical problems
  • real time
  • real world
  • artificial intelligence
  • asynchronous circuits
  • website
  • concurrency control
  • temporal logic
  • formal methods
  • computing power
  • verification method