𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Contexts in Dynamic Predicate Logic

✍ Scribed by Albert Visser

Book ID
110260153
Publisher
Springer Netherlands
Year
1998
Tongue
English
Weight
279 KB
Volume
7
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Provability in predicate product logic
Provability in predicate product logic
✍ Michael C. Laskowski; Shirin Malekpour πŸ“‚ Article πŸ“… 2007 πŸ› Springer 🌐 English βš– 228 KB
Forcing in Łukasiewicz Predicate Logic
Forcing in Łukasiewicz Predicate Logic
✍ Antonio Di Nola; George Georgescu; Luca Spada πŸ“‚ Article πŸ“… 2008 πŸ› Springer Netherlands 🌐 English βš– 399 KB
Predicate abstraction in a program logic
Predicate abstraction in a program logic calculus
✍ Benjamin Weiß πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 335 KB

Predicate abstraction is a form of abstract interpretation where the abstract domain is constructed from a finite set of predicates over the variables of the program. This paper explores a way to integrate predicate abstraction into a calculus for deductive program verification based on symbolic exe