A tool for model checking Linear Qualitative and Quantitative bounds against reactive systems.
 
LiQuor
 
Linear Qualitative/Quantitative analysis of Reactive systems