Alloy AnalyzerA structural modelling language based on first-order logic, for expressing complex structural constraints and behaviour | |
Download |
Alloy Analyzer Ranking & Summary
Advertisement
- License:
- MIT License
- Publisher Name:
- Felix Chang
- Operating Systems:
- Windows All
- File Size:
- 4 MB
Alloy Analyzer Tags
- analyzer Analyze structural analysis Kiss Modelling Language constraints Control Structural Complexity analyze structural property write structural junit test structural framework structural behaviour dynamic structural analysis static structural analysis simulate elevator behaviour structural geology syntactic structural analysis Animated Behaviour secondary structural region structural hierarchy Alloy Analyzer Alloy Language Constraint Solver structural analyzer Java Structural Analysis structural biology community Structural Biology structural element analysis genomic structural variation
Alloy Analyzer Description
Alloy Analyzer is a constraint solver that provides fully automatic simulation and checking for the Alloy language.
Alloy Analyzer Related Software