Pinned Repositories
chgtrk
LaTeX package for changes tracking
eventB-style
Package for typesetting Event-B models (discontinued, use lstEventB instead)
EventBUtils
Utilities for manipulate Event-B constructs in Rodin.
lstEventB
LaTeX package for listing Event-B code
QualProb
Qualitative probability reasoning for Event-B/Rodin
Rodin-Bundles
Rodin Platform Bundles that include features developed by our group
Simple-Barebone-XText-based-IDE
This is a simple XText-based IDE for a simple Barebone language
tikz-eventB
Package supporting diagrams for Event-B models using TikZ
XEventB
Extended Event-B for Rodin platform
tshoang's Repositories
tshoang/chgtrk
LaTeX package for changes tracking
tshoang/dpctex
Assorted TeX packages
tshoang/BESSPIN-Voting-System-Demonstrator-2019
The BESSPIN Voting System. This system is used to demonstrate and red team SSITH secure CPUs.
tshoang/xtext-sirius-integration
Xtext/Sirius Integration
tshoang/BESSPIN-GFE-2019
The DARPA SSITH-funded Government Furnished Equipment on which all secure CPUs are based.
tshoang/XTheory
Development of Theory Extension using XText
tshoang/Proof_Assistant
Proof Hints
tshoang/deep_saucer
tshoang/CODA_Utils
CODA Utilities
tshoang/CODA_UI
CODA User Interface
tshoang/CODA_ComponentDiagrams
CODA Component Diagrams
tshoang/CODA_VHDL
CODA VHDL Generator
tshoang/smallpeice-runbook
guides and notes for the smallpiice summer school
tshoang/cucumber-event-b
Cucumber for Event-B
tshoang/pubstmt
This repository contains a LaTeX package for typesetting information linking to the publisher website
tshoang/abbrev
tshoang/travis-ci-latex-pdf
LaTeX to .pdf with Travis-CI
tshoang/iUML_B_Utils
iUML-B-wide plugins such as branding etc.
tshoang/EMF_EventB_Decomposition
tshoang/Space-Cadets
tshoang/XMarking
Marking based on XText
tshoang/z3
The Z3 Theorem Prover
tshoang/CODA_Simulator
CODA Simulator
tshoang/includeSlides
tshoang/iUML_B_StateMachineAnimation2
Animation of iUML-B StateMachine diagrams based on ProB2
tshoang/beamerthemeSouthampton
LaTeX Beamer theme (unofficial) for University of Southampton
tshoang/prob2
ProB 2.0
tshoang/chainer
A flexible framework of neural networks for deep learning
tshoang/CODA_Simulator2
CODA Simulator 2 (ProB2)
tshoang/QualProb
Qualitative probability reasoning for Event-B/Rodin