Back to Results
First PageMeta Content
Model checkers / Alloy / Z notation / Semantics / Predicate logic / Model checking / Promela / Variable / Assertion / Software engineering / Formal methods / Logic


Alloy and SCR: An Evaluation and Comparison Justin R. Erenkrantz, Scott Hendrickson Institute for Software Research University of California, Irvine Irvine, CA
Add to Reading List

Document Date: 2010-08-20 02:44:12

Open Document

File Size: 881,94 KB

Share Result on Facebook

City

Hanoi / /

Company

Naval Research Laboratories / Alcoa / Naval Research Laboratory / /

/

Facility

Scott Hendrickson Institute / Software Research University of California / Towers of Hanoi / Naval Research Laboratory / Alloy Analyzer User Interface complex / /

IndustryTerm

software engineering / command-line tool / search functionality / real-world systems / required tools / search space / flight software / maximum search depth / reference tool / /

OperatingSystem

Mac OS X / Microsoft Windows / /

Organization

Software Research University / MIT / US Federal Reserve / Scott Hendrickson Institute / University of California / Irvine / /

Person

Eve Finally / Woman / Daniel Jackson / /

Position

specification editor / rudimentary editor / rudimentary editor for modifying Alloy specifications / /

Product

A-7 / A-7E / /

ProgrammingLanguage

LaTeX / Java / /

ProvinceOrState

Oregon / California / /

Technology

Adam / functional programming / FireWire protocol / Java / ASCII / API / simulation / operating systems / GUI / /

SocialTag