System (Software) Modeling
Formal and semi-formal modeling languages and relevant tools
Formal modeling and verification language
An automated tool for Event-B modeling development and verification
Semi-formal modeling language
A platform for SysML modeling development and validation
A model to model transformation language
A declarative language describing rules applying to MOF and OMG meta-models
A modeling framework and code generation facilities
Safety and Security
Safety and Security analysis techniques and relevant tools
A model-based safety and security analysis technique for control systems
A systematic approach for hazard analysis
A detector for memory errors in C programs
A tool for Linux firewall configuration
Temporal Logic and Model Checking
Model checkers
A symbolic model checker based on SMV
A model checker for Java programs
Code Verification
A tool for verification of C programs
Programming languages
My first choice for programming
Completing an advance programming course in C++
Operating Systems
My first choice
Other Useful Tools
