Showing cs.SEShow all
3 papers · 1 filter
cs.SE1999
Formal Modeling in a Commercial Setting: A Case Study
A. Wong, M. Chechik
This paper describes a case study conducted in collaboration with Nortel to demonstrate the feasibility of applying formal modeling techniques to telecommunication systems. A forma…
cs.SE1999
Events in Property Patterns
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…
cs.SE1999
SCR3: towards usability of formal methods
M. Chechik
This paper gives an overview of SCR3 -- a toolset designed to increase the usability of formal methods for software development. Formal requirements are specified in SCR3 in an eas…