SMTChecker
Named by 3 kept items in this workspace.
Search every workspace for SMTChecker. It matches the name as written, so it can find other things that share it.
The items that name it 3
Solidity's built-in formal verification tool; gains support for block.slotnum and deprecates the BMC engine in this release
Formal verification tool within Solidity; fixed for incorrect handling of constant operands of unary operations
Solidity's built-in formal verification module; gains support for block.slotnum and deprecates the BMC engine
All technologies in this workspace.