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