Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation

Documenti analoghi

• Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal
  di: Mahe, Erwan, et al.
  Pubblicazione: (2024)
• Specializing anti-unification for interaction models composition via gate connections
  di: Nguetoum, Joel, et al.
  Pubblicazione: (2025)
• Runtime Verification of Interactions Using Automata
  di: Weil-Kennedy, Chana, et al.
  Pubblicazione: (2025)
• An Efficient VCGen-based Modular Verification of Relational Properties
  di: Blatter, Lionel, et al.
  Pubblicazione: (2024)
• A Case Study on Model Checking and Runtime Verification for Awkernel
  di: Hasegawa, Akira, et al.
  Pubblicazione: (2025)