Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework.- Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer.- Verifying Network Control Planes.- Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme.- Incremental Minimization of Symbolic Automata.- Seamless Interactive Program Verification.- Formal Verification of Work Flow Policies for Smart Contracts in Azure Blockchain.- Ghost Code in Action: Automated Verification of a Symbolic Interpreter.- DCSynth: Guided Reactive Synthesis with Soft Requirements.- Refinement type contracts for verification of scientific investigative software.- solc-verify: A Modular Verifier for Solidity Smart Contracts.- Intersection and Rotation of Assumption Literals Boosts Bug-Finding.
This title is in stock with our Australian supplier and should arrive at our Sydney warehouse within 1 - 2 weeks of you placing an order.
Once received into our warehouse we will despatch it to you with a Shipping Notification which includes online tracking.
Please check the estimated delivery times below for your region, for after your order is despatched from our warehouse:
ACT Metro: 2 working days
NSW Metro: 2 working days
NSW Rural: 2-3 working days
NSW Remote: 2-5 working days
NT Metro: 3-6 working days
NT Remote: 4-10 working days
QLD Metro: 2-4 working days
QLD Rural: 2-5 working days
QLD Remote: 2-7 working days
SA Metro: 2-5 working days
SA Rural: 3-6 working days
SA Remote: 3-7 working days
TAS Metro: 3-6 working days
TAS Rural: 3-6 working days
VIC Metro: 2-3 working days
VIC Rural: 2-4 working days
VIC Remote: 2-5 working days
WA Metro: 3-6 working days
WA Rural: 4-8 working days
WA Remote: 4-12 working days
Share This Book: