Open AccessModeling Memory with Uninterpreted Functions for Predicate Abstractions
Author(s) -
Mikhail Mandrykin,
Vadim Mutilin
Publication year - 2015
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2015-27(5)-7
Subject(s) - computer science , pointer (user interface) , programming language , recursion (computer science) , predicate abstraction , predicate (mathematical logic) , parallel computing , theoretical computer science , semantics (computer science) , model checking , computer hardware