Login / Signup

The Design of a Multicore Extension of the SPIN Model Checker.

Gerard J. HolzmannDragan Bosnacki
Published in: IEEE Trans. Software Eng. (2007)
Keyphrases
  • model checker
  • formal verification
  • model checking
  • formal methods
  • case study
  • data mining
  • description logics
  • description language