predict-v8-randomness

Predict the output of Math.random

v1.0.35 URL: https://unpkg.com/predict-v8-randomness@1.0.35/dist/cjs/lib/index.js

Open Browse Files

v8 math.random predict z3 cli symbolic-execution smt

@runtimeverificationinc/tsk

TypeScript/JavaScript library for K Framework functionality

v0.2.15 URL: https://unpkg.com/@runtimeverificationinc/tsk@0.2.15/dist/cjs/index.cjs

Open Browse Files

k-framework formal-verification ast symbolic-execution typescript javascript