Abstraction

Results: 2720



#Item
1Overview  Abstraction The Rest

Overview Abstraction The Rest

Add to Reading List

Source URL: www.cs.purdue.edu

Language: English - Date: 2016-07-16 03:00:36
2LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University

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

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2017-01-20 14:52:58
3SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1

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

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2006-10-26 15:14:04
4Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

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

Add to Reading List

Source URL: practicalsynthesis.github.io

Language: English - Date: 2018-01-15 14:26:26
5Abstraction 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

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

Add to Reading List

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

Language: English - Date: 2008-10-24 11:08:14
6Symbolic 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

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

Add to Reading List

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

Language: English - Date: 2008-07-01 07:47:28
7Predicate 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

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

Add to Reading List

Source URL: pub.ist.ac.at

Language: English - Date: 2018-05-10 10:54:27
8LMS-Verify: Abstraction without Regret for Verified Systems Programming Nada Amin∗ Tiark Rompf †

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

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2016-12-02 04:01:48
    9SMT 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

    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

    Add to Reading List

    Source URL: www.lsi.upc.edu

    Language: English - Date: 2006-06-09 09:24:28