April 2026
Create an account to continue using Similarweb
View website metrics, keywords, top marketing channels, market research tools, and more.
Create your free accountdlir.org
Global Rank
#3,349,130
152,638Country Rank
#9,759
2,864Showing Similarweb estimated data.
Publicly validate your site’s metrics by connecting your GA4
Reflect your success
Verify your website's traffic and engagement metrics by connecting to Google Analytics
Bounce Rate
36.19%
Pages per Visit
3.82
Avg Visit Duration
00:02:01
- Company
- - -
- Industry
- - -
Top 10 dlir.org Competitors
The Top 10 Sites Like dlir.org in April 2026 are ranked by their affinity to dlir.org in terms of keyword traffic, audience targeting, and market overlap
Welcome to KYVL!
Global Rank
#808,006
27,258Bounce Rate
44.1%
Pages per Visit
6.30
Avg Visit Duration
00:01:34
Similarity Score
100%The Newberry is an intellectually stimulating workplace, rich with opportunities to learn, grow, and contribute to the library’s mission.
Global Rank
#188,127
64,531Bounce Rate
38.89%
Pages per Visit
4.85
Avg Visit Duration
00:04:31
Similarity Score
100%The Center for Khmer Studies (CKS) facilitates research, knowledge sharing and insights related to Cambodia’s social, economic and cultural development.
- Company
- - -
- Industry
- - -
Bounce Rate
43.95%
Pages per Visit
1.91
Avg Visit Duration
00:00:25
Similarity Score
63%Global Rank
#1,342,468
327,249Bounce Rate
37.02%
Pages per Visit
2.76
Avg Visit Duration
00:01:02
Similarity Score
62%The constructive approach to software correctness aims at formal modelling and verification of the structure and behaviour of a system in different levels of abstraction. In contrast, the analytical approach to software verification focuses on code level correctness and its verification. Therefore it would seem that the constructive and analytical approaches should complement each other well. To demonstrate this idea we present a case for linking two existing verification methods, Event-B (constructive) and Dafny (analytical). This approach combines the power of Event-B abstraction and its stepwise refinement with the verification capabilities of Dafny. We presented a small case study to demonstrate this approach and outline of the rules for transforming Event-B events to Dafny contracts. Finally, a tool for automatic generation of Dafny contracts from Event-B formal models is presented.
- Company
- - -
- Industry
- - -
Global Rank
- -
Country Rank
- -
Category Rank
- -
Bounce Rate
81.76%
Pages per Visit
1.19
Avg Visit Duration
00:00:21
Similarity Score
62%- Company
- - -
- Industry
- - -
Global Rank
- -
Country Rank
- -
Category Rank
- -
Bounce Rate
- -
Pages per Visit
- -
Avg Visit Duration
- -
Similarity Score
61%- Company
- - -
- Industry
- - -
Global Rank
- -
Country Rank
- -
Category Rank
- -
Bounce Rate
55.62%
Pages per Visit
2.55
Avg Visit Duration
00:01:13
Similarity Score
61%- Company
- - -
- Industry
- - -
Global Rank
#2,007,068
133,772Bounce Rate
41.68%
Pages per Visit
1.56
Avg Visit Duration
00:00:10
Similarity Score
61%- Company
- - -
- Industry
- - -
Global Rank
- -
Country Rank
- -
Category Rank
- -
Bounce Rate
37.55%
Pages per Visit
3.90
Avg Visit Duration
00:02:30
Similarity Score
61%international association of research and science
- Company
- - -
- Industry
- - -
Global Rank
#1,966,091
534,344Bounce Rate
45.02%
Pages per Visit
1.54
Avg Visit Duration
00:00:12
Similarity Score
61%dlir.org's top 5 competitors in April 2026 are: kyvl.org, newberry.org, khmerstudies.org, sbvu.ac.in, and more.
According to Similarweb data of monthly visits, dlir.org’s top competitor in April 2026 is kyvl.org. dlir.org 2nd most similar site is newberry.org, and closing off the top 3 is khmerstudies.org.
sbvu.ac.in ranks as the 4th most similar website to dlir.org and dl.ifip.org ranks fifth in April 2026.
The other five competitors in the top 10 list are searchdl.org, dl.begellhouse.com, thinkmind.org, widernet.org, and iaras.org.