SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1

Source URL: www.lsi.upc.edu

• Logic
• Mathematical logic
• Mathematics
• Predicate logic
• Propositional calculus
• Semantics
• Philosophical logic
• Satisfiability modulo theories
• Predicate
• Literal
• Well-formed formula
• Model checking

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Predicate
• FO
• Atomic sentence
• Primitive recursive function
• Syntactic predicate

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Logic programming
• Declarative programming
• Automated reasoning
• Programming paradigms
• Automated theorem proving
• Answer set programming
• Reasoning system
• Stable model semantics
• Prolog
• Inference

Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic

Source URL: pub.ist.ac.at

• Mathematical logic
• Predicate logic
• Mathematics
• Logic
• Predicate variable
• Scope
• Atomic sentence
• FO
• First-order logic
• Variable
• Structured text
• Assignment

SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s

Source URL: www.lsi.upc.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Formal methods
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Boolean algebra
• Satisfiability modulo theories
• Boolean satisfiability problem
• 120-cell
• Predicate

Predicate Abstraction for Relaxed Memory Models Andrei Dan Martin Vechev

Source URL: practicalsynthesis.github.io

• Logic
• Mathematical logic
• Linguistics
• Dekker's algorithm
• Edsger W. Dijkstra
• Predicate
• Flag

QAPLGame-Based Probabilistic Predicate Abstraction in PRISM 1

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Temporal logic
• Generalized functions
• Mathematics
• Distribution
• Functional analysis
• Computation tree logic

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Predicate
• FO
• Atomic sentence
• Primitive recursive function
• Syntactic predicate

J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

Source URL: formal.hknu.ac.kr

Adapting Predicate Frames for Urdu PropBanking Riyaz Ahmad Bhat♣ , Naman Jain♣ , Dipti Misra Sharma♣ , Ashwini Vaidya♠ , Martha Palmer♠ , James Babani♠ and Tafseer Ahmed♦ LTRC, IIIT-H, Hyderabad, India♣ U

Source URL: alt.qcri.org