Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:29642597n
Noun Concept
Categories: Model checking, Concurrent computing, Theoretical computer science
EN
Safety and liveness properties  safety  bounded bypass  liveness  liveness properties
EN
Properties of an execution of a computer program—particularly for concurrent and distributed systems—have long been formulated by giving safety properties and liveness properties. Wikipedia
Definitions
Sources
EN
Properties of an execution of a computer program—particularly for concurrent and distributed systems—have long been formulated by giving safety properties and liveness properties. Wikipedia
Wikipedia
EN
Safety and liveness properties
Wikipedia Redirections
EN
bounded bypass, liveness, liveness properties, liveness property, safety (computer science), Safety and Liveness Properties, safety properties, safety property

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License