2 search results - page 1 / 1 » Nonlocal Flow of Control and Kleene Algebra with Tests |
75
Voted
LICS
2008
IEEE
15 years 3 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
LPAR
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...