Proven correct monitors from PSL specifications

  title={Proven correct monitors from PSL specifications},
  author={Katell Morin-Allory and Dominique Borrione},
  journal={Proceedings of the Design Automation & Test in Europe Conference},
We developed an original method to synthesize monitors from declarative specifications written in the PSL standard. Monitors observe sequences of values on their input signals, and check their conformance to a specified temporal expression. Our method implements both the weak and strong versions of PSL FL operators, and has been proven correct using the PVS theorem proven This paper discusses the salient aspects of the proof of our prototype implementation for on-line design verification 
Highly Cited
This paper has 53 citations. REVIEW CITATIONS
34 Citations
12 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 34 extracted citations

Runtime Verification

  • Shaz Qadeer Serdar Tasiran
  • Lecture Notes in Computer Science
  • 2012
Highly Influenced
20 Excerpts

53 Citations

Citations per Year
Semantic Scholar estimates that this publication has 53 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…