Can I read Debugging Framework for PSL Assertions on EtoBox?

Debugging Framework for PSL Assertions by kbkkr is a document available to read on EtoBox.

What is Debugging Framework for PSL Assertions about?

The document presents a framework for correcting and debugging Property Specification Language (PSL) assertions. The framework takes a failing assertion, counter-example, and mutation model to produce alternative properties that are verified against the design. These alternative properties serve as the basis for possible corrections and provide insight into the failing assertion and design behavior to aid debugging. Preliminary experimental results found verified properties for all test cases using this app

Author

kbkkr

Language

EN