6 research outputs found

    The Paris Agreement as a Paradigm Shift in International Law: The View from Empirical Legal Studies

    Get PDF
    Legal theorists have historically levied critiques of international law’s status as law or as a legal system, contrasting it with the paradigm of municipal legal systems. However, this jurisprudential position is not necessarily sound, and empirical research tends against a sharp distinction between the two modes of law. This article uses both jurisprudential and empirical lenses to analyse and contest critiques of international law’s status as a legal system. It focuses in particular on the emergent climate governance regime and the Paris Agreement as a potential gold standard for a consensus-driven international legal order. It argues that, far from being a poor imitation of a legal system, international law may actually represent the state of the art and act as an exemplar for municipal legal systems

    Construction of Concrete Verification Models from C++

    No full text
    C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The challenge of using C++ for sequential equivalence checking comes from two aspects (1) Language constructs such as pointers, polymorphism, virtual methods, dynamic memory allocation, dynamic loop bounds, floating points pose difficulty in creating a model suitable for equivalence checking (2) The memory and runtime required for creating models suitable for equivalence checking from practical C++ designs is huge. In this paper we describe techniques for constructing verification models from C++ designs containing a very rich set of language constructs. The flow is built keeping in mind that formal methods are inherently capacity constrained but need to be applied to large C++ designs to have practical value