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

From Informal Specifications to an ABV Framework for Industrial Firmware Verification.

Samuele GerminianiMoreno BragaglioGraziano Pravadelli
Published in: VLSI-SoC (Selected Papers) (2020)
Keyphrases
  • real world
  • operating system
  • main contribution
  • model checking
  • databases
  • social networks
  • computer vision
  • high level
  • expert systems
  • automated verification