1![SMT 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](https://www.pdfsearch.io/img/626365a5761f35fc03ce9a90a5b938da.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2006-10-26 11:14:04
|
---|
2![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 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](https://www.pdfsearch.io/img/c441528c355433c0fcb651a68cb96c54.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
3![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 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](https://www.pdfsearch.io/img/e7ce247cfaa4154e04d07aaebe07c965.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:44
|
---|
4![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 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](https://www.pdfsearch.io/img/13737a9a627de7512229e86d1b49cdff.jpg) | Add to Reading ListSource URL: pub.ist.ac.atLanguage: English - Date: 2018-05-10 06:54:27
|
---|
5![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 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](https://www.pdfsearch.io/img/1b436aaaf35b945ae7b7a6802521dc7e.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2006-06-09 05:24:28
|
---|
6![Predicate Abstraction for Relaxed Memory Models Andrei Dan Martin Vechev Predicate Abstraction for Relaxed Memory Models Andrei Dan Martin Vechev](https://www.pdfsearch.io/img/0466afe92d5266b6e8a36d682d6004e3.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
7![QAPLGame-Based Probabilistic Predicate Abstraction in PRISM 1 QAPLGame-Based Probabilistic Predicate Abstraction in PRISM 1](https://www.pdfsearch.io/img/92646e98f0f7fb83e3daae1b2fffa595.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-05-04 08:03:42
|
---|
8![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 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](https://www.pdfsearch.io/img/b0bab394fbe574197f1e2613361a2928.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
9![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 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](https://www.pdfsearch.io/img/a1c64bffde55fd740707f648359dc9c6.jpg) | Add to Reading ListSource URL: formal.hknu.ac.krLanguage: English - Date: 2018-03-08 05:11:17
|
---|
10![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 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](https://www.pdfsearch.io/img/e2162f4bc514e323a777f01708c7692a.jpg) | Add to Reading ListSource URL: alt.qcri.orgLanguage: English - Date: 2014-10-15 13:12:36
|
---|