xiaohe27/K-Spec-Gen
Generate k-spec from annotated java file which can be used as the input of k verifier
Developer Profile
xiaohe27
Discovered public repositories for xiaohe27 in the GitHub catalog.
xiaohe27/Tasks
The tasks that are going to be executed
xiaohe27/enforcemoptests
EnforceMOP properties and tests
xiaohe27/k
The K tools
xiaohe27/java-semantics
The semantics of Java in K
xiaohe27/expressos
The ExpressOS kernel
xiaohe27/TraceGenerator
Generate Traces
xiaohe27/LiteratureReview
Some reviews of the papers
xiaohe27/RawPlugin
Parser for interpreting raw specification
xiaohe27/Readings4Courses
Papers need to read
xiaohe27/HackedMonpoly
Modify ETH's Monpoly for counting the number of log entries
xiaohe27/PerformanceTest
Some tests for testing performance of programs
xiaohe27/LOG-DATA
The raw log repository
xiaohe27/PrologInOcaml
Implement a Prolog interpreter in Ocaml
xiaohe27/LogReader
The log reader which can read log files
xiaohe27/OffLine-Log-Analysis
Public repository.
xiaohe27/radlm
radl parser and code generator
xiaohe27/LearningTools
Record my exp of using new tools
xiaohe27/TestAgent
Public repository.
xiaohe27/PhD-Proposal
Public repository.
xiaohe27/AnalyzeJavaMOP
Public repository.
xiaohe27/javamop
Runtime verification system for Java, using AspectJ for instrumentation.
xiaohe27/Testing
Public repository.
xiaohe27/MyPokerGame
A poker game
xiaohe27/PabbleExtractor_Alpha
An internal version of pabble extractor which extract parameterised protocol from standard MPI-C program