QMaude: Quantitative Specification and Verification in Rewriting Logic
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2023年份
11被引次数
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- Verifying Secure Speculation in Isabelle/HOLMatt Griffin, Brijesh DongolFM 2021 · 被引用 6 次
- Bridging the semantic gap between qualitative and quantitative models of distributed systemsSi Liu, José Meseguer, Peter Csaba Ölveczky, Min Zhang 等OOPSLA 2022 · 被引用 16 次
- Quantitative relational modelling with QAlloyPedro Silva, José N. Oliveira, Nuno Macedo, Alcino CunhaFSE 2022 · 被引用 3 次
- Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDAFelix A. Wolf, Malte Schwerhoff, Peter MüllerFM 2021 · 被引用 10 次
- A Deductive Verification Infrastructure for Probabilistic ProgramsPhilipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen 等OOPSLA 2023 · 被引用 22 次
