• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

HyPFuzz: Formal-Assisted Processor Fuzzing.

Chen ChenRahul KandeNathan NyugenFlemming AndersenAakash TyagiAhmad-Reza SadeghiJeyavijayan Rajendran
Published in: CoRR (2023)
Keyphrases
  • high speed
  • parallel processing
  • formal model
  • formal methods
  • database
  • real time
  • real world
  • general purpose
  • formal specification
  • distributed memory
  • formal representation
  • multiprocessor systems