Find link

language:

Find link is a tool written by Edward Betts.

searching for Safety and liveness properties 5 found (12 total)

alternate case: safety and liveness properties

Avalanche (blockchain platform) (1,415 words) [view diff] no match in snippet view article

Avalanche is a decentralized, open-source proof of stake blockchain with smart contract functionality. AVAX is the native cryptocurrency of the platform

Timed automaton (1,603 words) [view diff] exact match in snippet view article find links to article

, real-time systems or networks. Methods for checking both safety and liveness properties have been developed and intensively studied over the last 20

Paxos (computer science) (6,947 words) [view diff] no match in snippet view article

Paxos is a family of protocols for solving consensus in a network of unreliable or fallible processors. Consensus is the process of agreeing on one result

Concurrent data structure (1,073 words) [view diff] exact match in snippet view article find links to article

executions to a collection of sequential ones. To guarantee the safety and liveness properties, concurrent data structures must typically (though not always)

Device driver synthesis and verification (3,035 words) [view diff] exact match in snippet view article find links to article

interfaces, Termite can generate the driver code which holds the safety and liveness properties. Another very interesting hacking effort has been done by RevNIC