• VeriRust is a hybrid formal verification tool for rust, based on symbolic execution

• rust code must be closed source, limited printf support is provided though

• rust code must have a hardwired function fuzz_target!/miner_top , with integer argument as input data

• rust source code only support std crate,if contain other crates ,please transfer to bytecode

• please ensure the rust std pick nightly-2020-06-21 or stable 1.45.0 and below

• this is only a demo, if you seriously dive into formal, shoot us a mail: support@examining.io