A collection of materials and actions on hacking modeling methodology.
Actions:
- Compiler: compiler tools.
- JFLAP: formal languages experimenting, NFA, NPDA, TM, grammars.
- Lisp: LISt Processor, manipulate source code as a data structure.
- NuSMV: symbolic model checker.
- Prolog: logic programming.
- SemanticWeb: Web of linked data.
- SPIN: formal verification of multi-threaded software applications.
- TLA+: modeling concurrent and distributed programs and systems.
- Types
- Idris: Type-Driven Development, Type Checker.