Sciweavers

Share
CAV   2008 International Workshop on Computer Aided Verification
Wall of Fame | Most Viewed CAV-2008 Paper
CAV
2008
Springer
170views Hardware» more  CAV 2008»
8 years 3 months ago
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
Himanshu Jain, Edmund M. Clarke, Orna Grumberg
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source170
2Download preprint from source170
3Download preprint from source161
4Download preprint from source160
5Download preprint from source158
6Download preprint from source157
7Download preprint from source152
8Download preprint from source144
9Download preprint from source143
10Download preprint from source139
11Download preprint from source131
12Download preprint from source130
13Download preprint from source125
14Download preprint from source125
15Download preprint from source122
16Download preprint from source121
17Download preprint from source115
18Download preprint from source113
19Download preprint from source112
20Download preprint from source110
21Download preprint from source110
22Download preprint from source110
23Download preprint from source108
24Download preprint from source106
25Download preprint from source105
26Download preprint from source104
27Download preprint from source104
28Download preprint from source99
29Download preprint from source99
30Download preprint from source96
31Download preprint from source96
32Download preprint from source96
33Download preprint from source89
34Download preprint from source89
35Download preprint from source80
36Download preprint from source78
books