PlumX Metrics
Embed PlumX Metrics

Evaluating probabilistically checkable proof in software update procedures and functional checks

Measurement: Sensors, ISSN: 2665-9174, Page: 101795
2025
  • 0
    Citations
  • 0
    Usage
  • 0
    Captures
  • 0
    Mentions
  • 0
    Social Media
Metric Options:   Counts1 Year3 Year

Article Description

Legal metrology requires conformity assessment to ensure reliable and correct measuring instruments. Software updates and functional checks for measuring instruments are strictly regulated in many EU member states. To verify software conformity, researchers have explored various methods, including Probabilistically Checkable Proof (PCP). Our paper describes a virtualized testbed (VT) to realize the assessment of PCP systems in conformity assessment. The VT can explore and evaluate the complexities of mathematical proofs and their verifiability, paving the way for implementing these methods into legal metrology's conformity assessment and verification procedures.

Provide Feedback

Have ideas for a new metric? Would you like to see something else here?Let us know