FoCs Property Checkers Generator

A productivity tool for automatic generation of simulation monitors from formal specifications.

Date Posted: November 18, 2002

Overview Requirements Download FAQs Forum Reviews There have been no evaluations for this technology during the last 30 days Write your own review on FoCs Property Checkers Generator Completing a review does not require your personal information, and you will not be contacted regarding your review. For questions about this technology, please visit the discussion forum. Overall: Considering all aspects of the experience, how would you rate your overall level of satisfaction with FoCs Property Checkers Generator? --- Select one --- 5 Very Satisfied 4 Satisfied 3 Neutral 2 Dissatisfied 1 Very Dissatisfied 0 N/A Capability: How satisfied are you that FoCs Property Checkers Generator has the functions and features to perform as expected? --- Select one --- 5 Very Satisfied 4 Satisfied 3 Neutral 2 Dissatisfied 1 Very Dissatisfied 0 N/A Usability: How satisfied are you with the "ease of use" of FoCs Property Checkers Generator? --- Select one --- 5 Very Satisfied 4 Satisfied 3 Neutral 2 Dissatisfied 1 Very Dissatisfied 0 N/A Performance: How satisfied are you with the response time or speed with which FoCs Property Checkers Generator executes its functions? --- Select one --- 5 Very Satisfied 4 Satisfied 3 Neutral 2 Dissatisfied 1 Very Dissatisfied 0 N/A Reliability: How satisfied are you with the frequency, number, and seriousness of errors in FoCs Property Checkers Generator? --- Select one --- 5 Very Satisfied 4 Satisfied 3 Neutral 2 Dissatisfied 1 Very Dissatisfied 0 N/A Installation: How satisfied were you with the ease of installation, initialization, and migration of FoCs Property Checkers Generator? --- Select one --- 5 Very Satisfied 4 Satisfied 3 Neutral 2 Dissatisfied 1 Very Dissatisfied 0 N/A Maintenance: How satisfied are you with getting updates from alphaWorks, or patches from the development team for FoCs Property Checkers Generator? --- Select one --- 5 Very Satisfied 4 Satisfied 3 Neutral 2 Dissatisfied 1 Very Dissatisfied 0 N/A Information: How satisfied are you with the accuracy, completeness, and time it takes to find information (online help, etc.) for FoCs Property Checkers Generator? --- Select one --- 5 Very Satisfied 4 Satisfied 3 Neutral 2 Dissatisfied 1 Very Dissatisfied 0 N/A Service: How satisfied are you with the effectiveness of the alphaWorks discussion forum for FoCs Property Checkers Generator, and responses to your e-mails? --- Select one --- 5 Very Satisfied 4 Satisfied 3 Neutral 2 Dissatisfied 1 Very Dissatisfied 0 N/A Describe the one feature or function you consider BEST about FoCs Property Checkers Generator. Describe the one feature or function you consider WORST about FoCs Property Checkers Generator. Describe the most important capability that is MISSING in FoCs Property Checkers Generator and should be added. Describe something NEW you would most wish to see in a future version of FoCs Property Checkers Generator. Provide additional COMMENTS on any of the above or anything that may not have been covered. Since learning about FoCs Property Checkers Generator, how have you made use of it? Not yet examined or deployed this software Reviewed the code or specifications Installed/Built and ran tests with the software Integrated with other technology Are you currently an IBM partner or customer? --- Select one --- 2 No 1 Yes Please tell us your role: (check all that apply) IT Executive Non-IT Executive Consultant Manager Non-IT Professional Educator or Student Press HCI Architect/Designer Human Factors/User Researcher Visual/Industrial Designer Information Architect IT Architect/Designer Programmer/Developer Other: