7 citations · 7 across the 1 of their papers we have counts for
2 papers
cs.SE2018
Towards Classification of Lightweight Formal Methods
Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas +2
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used fo…
cs.SE2014★ 7 cited
Towards Verifying Safety Properties of Real-Time Probabilistic Systems
Fenglin Han, Jan Olaf Blech, Peter Herrmann +1
Using probabilities in the formal-methods-based development of safety-critical software has quickened interests in academia and industry. We address this area by our model-driven e…