Joshua Schmidt's Projects
Repair and Generation of Formal Models Using Synthesis (User Interface)
Generate data from B/Event-B predicates which can be used to train statistical models predicting components for inductive program synthesis.
Minimal reproducible example showing that we can't get a better resolution than 720p in the image stream provided by flutter's camera plugin.
Benchmarks for our submission "Improving SMT Solver Integrations for the Validation of B and Event-B Models" to FMICS21
Benchmarks from our submission "SMT Solving for the Validation of B and Event-B Models" to the International Journal on Software Tools for Technology Transfer
Program Synthesis for B in ProB
SICStus Prolog Fuzzer - including an extension to generate predicates and expressions in (Event-)B represented as abstract syntax trees
Flutter library to create beautiful surveys (aligned with ResearchKit on iOS)
Play the classic or ultimate Tic-Tac-Toe on your Android device.
The Z3 Theorem Prover