This book examines terrorism's impact on the international aviation security regime, with a focus on the role of the United States. Tracing the historical development of the international civil aviation system, the volume examines how it has dealt with the evolving security environment caused by international terrorism. It begins by exploring the practical implications of the debates over the meaning of 'terrorism' and how the international civil aviation community developed practical solutions to avoid the debilitating debates over the concept while crafting important, if weak,...

This book discusses the use of the real numbers in theorem proving. Typ ically, theorem provers only support a few 'discrete' datatypes such as the natural numbers. However the availability of the real numbers opens up many interesting and important application areas, such as the verification of float ing point hardware and hybrid systems. It also allows the formalization of many more branches of classical mathematics, which is particularly relevant for attempts to inject more rigour into computer algebra systems. Our work is conducted in a version of the HOL theorem prover. We de scribe the...