Overview Abstraction The Rest

Source URL: www.cs.purdue.edu

• Concurrent computing
• Scheduling
• Computer architecture
• System software
• Preemption
• Thread
• Cooperative multitasking
• Preempt
• Synchronization
• Computing

LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University

Source URL: lampwww.epfl.ch

• Computing
• Software engineering
• Computer programming
• Parser generators
• Compiling tools
• Functional programming
• Parser combinator
• Parsing
• Lex
• Scala
• Apache HTTP Server

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

Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog

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

• Metaphysics
• Formal methods
• Theoretical computer science
• Modal logic
• Philosophical logic
• Predicate abstraction
• Markov decision process
• Logic
• Refinement
• Abstraction
• Krivine machine

Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor

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

• Mathematics
• Dynamic programming
• Markov decision process
• Stochastic control
• Probability
• Mathematical analysis
• Reachability

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

LMS-Verify: Abstraction without Regret for Verified Systems Programming Nada Amin∗ Tiark Rompf †

Source URL: lampwww.epfl.ch

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