• Isabelle/HOL

  • Referenced in 1018 articles [sw01569]
  • particular formal verification, which includes proving the correctness of computer hardware or software and proving...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • particular formal verification, which includes proving the correctness of computer hardware or software and proving...
  • OBJ3

  • Referenced in 140 articles [sw05370]
  • theorem proving, user interface design, and hardware verification, among other things. It was the first...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • automated theorem proving include hardware and software verification, partial automation of various mathematical activities, promoting...
  • PPL

  • Referenced in 101 articles [sw05357]
  • several systems for the analysis and verification of hardware and software components. Current applications span...
  • TPS

  • Referenced in 73 articles [sw00973]
  • automated theorem proving include hardware and software verification, partial automation of various mathematical activities, promoting...
  • PolyBoRi

  • Referenced in 48 articles [sw00723]
  • growing importance of formal hardware and software verification based on Boolean expressions, which suffer-besides...
  • Bogor

  • Referenced in 36 articles [sw06858]
  • effective technology for verification and debugging in hardware and more recently in software domains...
  • Isabelle/ZF

  • Referenced in 63 articles [sw04973]
  • particular formal verification, which includes proving the correctness of computer hardware or software and proving...
  • azove

  • Referenced in 12 articles [sw04634]
  • effective datastructure in computational logics and hardware verification. par We present a novel approach...
  • Poly/ML

  • Referenced in 11 articles [sw11353]
  • write the Lamba system for hardware verification as well as other tools. Mike Crawley...
  • Reveal

  • Referenced in 21 articles [sw00801]
  • Reveal formal functional verification system and its application to four representative hardware test cases. Reveal ... believe that automating the verification for a useful class of hardware designs is now quite...
  • ABC

  • Referenced in 40 articles [sw12910]
  • synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines ... synergy of sequential synthesis and sequential verification leads to improvements in both domains. This paper...
  • Lambda-Clam

  • Referenced in 24 articles [sw19614]
  • particular the synthesis and verification of software and hardware systems. The use of a higher...
  • Esterel

  • Referenced in 165 articles [sw20012]
  • data manipulations. It can also generate hardware in the form of netlists of gates, which ... provide support for explicit or BDD-based verification tools that perform either bisimulation reduction...
  • FIREMAN

  • Referenced in 7 articles [sw10594]
  • which have been used successfully in hardware verification and model checking. We have experimented with...
  • seL4

  • Referenced in 90 articles [sw15222]
  • experience in performing the formal, machine-checked verification of the seL4 microkernel from an abstract ... assume correctness of compiler, assembly code, and hardware, and we used a unique design approach...
  • PaSAT

  • Referenced in 4 articles [sw41090]
  • industrial product documentation, cryptanalysis, and hardware verification...
  • vlogsl

  • Referenced in 3 articles [sw12874]
  • strategy language for simulation-based verification of hardware. Languages such as SystemVerilog ... play an important role in contemporary hardware verification methodology. Through direct, language-level support ... coverage, assertions, and so forth, they help verification engineers adopt useful paradigms. This paper demonstrates ... strategy-based paradigm for hardware test generation which is not directly supported by any language...
  • SAT competition

  • Referenced in 8 articles [sw04623]
  • techniques in their area (planning, hardware or software verification, etc.) to submit benchmarks...