A technique for establishing certain properties, usually expressed in temporal logic, for a system model.
Subscribe to Quantitative Verification