1 paper · 1 filter
M. Chechik, D. Paun
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his collegues. The patterns…