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/Simple-Barebone-XText-based-IDE
This is a simple XText-based IDE for a simple Barebone language
tshoang/chgtrk
LaTeX package for changes tracking
tshoang/Barebone-Examples
Repositories for Barebone examples
tshoang/BESSPIN-GFE-2019
The DARPA SSITH-funded Government Furnished Equipment on which all secure CPUs are based.
tshoang/BESSPIN-Voting-System-Demonstrator-2019
The BESSPIN Voting System. This system is used to demonstrate and red team SSITH secure CPUs.
tshoang/blog-files
tshoang/caa
LaTeX package for typesetting Computer-Aided Assessments
tshoang/CODA_Oracle
CODA Oracle
tshoang/dpctex
Assorted TeX packages
tshoang/EventB_ProB_Support
Provides a common interface and synchronisation to plugins that use ProB for animation
tshoang/gramps
Source code for Gramps Genealogical program
tshoang/iUML_B_ClassDiagrams
tshoang/iUML_B_StateMachineAnimation1
Animation of iUML-B StateMachine diagrams based on ProB
tshoang/iUML_B_StateMachineDiagrams
tshoang/libsparkcrypto
A cryptographic library in SPARK 2014
tshoang/multisim
Multi-simulation plug-in for Rodin
tshoang/plastex
plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.
tshoang/prob-rodinplugin
The ProB Model Checker and Animator
tshoang/rodin-plugin-dependency
Dependency for Rodin plugins maintained by our group
tshoang/RodinLicence
Rodin Licence Feature
tshoang/ScenarioChecker
A UML-B oriented interface for running and replaying scenarios in ProB
tshoang/SCXML_EMF
SCXML meta-model in EMF
tshoang/SCXML_EVENTB
SCXML to iUML-B/Event-B translation
tshoang/SimB-examples
tshoang/SotonPrototypesUpdateSite
Update Site for Prototypes maintained by our team
tshoang/tshoang
Add-on to GitHub profile
tshoang/tshoang.github.io
Personal GitHub Page
tshoang/XSTAMPP
XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption and use of STAMP methodologies (STPA and CAST) in different areas. XSTAMPP includes seven plug-ins.
tshoang/xtext-sirius-integration
Xtext/Sirius Integration
tshoang/XUML_B
XText-based UML-B