LASER Property Specification Frameworks Need to Support Accessiblity »Easily understandable by specifiers and users Precision »Unambiguous, suitable for use with testing and verification tools Elucidation »Specifier needs to have carefully addressed questions about details
{}