2586 search results - page 28 / 518 » Automatic Abstraction for Congruences |
IFIPTCS
2010
13 years 5 months ago
2010
Abstract. In the field of Security, process equivalences have been used to characterize various information-hiding properties (for instance secrecy, anonymity and non-interference)...
PSB
2007
13 years 8 months ago
2007
bstract. We are distributing 281 annotated abstracts and another 5,000 noisily d abstracts along with a gene name lexicon to participants. We have performed a series of baseline ex...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
NPAR
2010
ACM
14 years 6 days ago
2010
ACM
We present an interactive abstract painting system named Sisley. Sisley works upon the psychological principle [Berlyne 1971] that abstract arts are often characterized by their gr...