HOL (proof assistant)

Known as: HOL theorem prover family, HOL, HOL4

HOL (Higher Order Logic) denotes a family of interactive theorem proving systems usingsimilar (higher-order) logics and implementation strategies…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2009

Using directional antennas in wireless mobile ad hoc networks can greatly improve the transmission range as well as the spatial…

2009

The throughput of an IEEE 802.11 network decreases as the number of users increases because of the increased collision…

2008

Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy…

2006

Cross-layer design is a promising technique to achieve performance enhancement for wireless systems. In this paper, we seek to…

2005

Directional antenna has received intensive research interests in recent years due to its potential to increase communication…

2003

Combining Higher Order Abstract Syntax (HOAS) and (co)- induction is well known to be problematic. In previous work [1] we have…

2002

For the recently developed specification language CASL, there exist two different kinds of proof support: While HOL-Casl has its…

2002

Multi-formalism specifications are essential for the modelling of complex systems including different aspects such as data or…

2000

We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on…

1993

In a queueing network with overtaking, the probabilistic eeects entailed by a customer propagate in such a manner that the…