QMaude: Quantitative Specification and Verification in Rewriting Logic
Rubén Rubio, Narciso Martı́-Oliet, Isabel Pita, Alberto Verdejo
Topics & Concepts
Computer scienceNondeterministic algorithmRewritingRotation formalisms in three dimensionsProgramming languageProbabilistic logicTheoretical computer scienceImplementationModel checkingTemporal logicArtificial intelligenceMathematicsGeometryFormal Methods in VerificationLogic, programming, and type systemsLogic, Reasoning, and Knowledge