Lectures on Runtime Verification

Lectures on Runtime Verification
Author: Ezio Bartocci
Publisher: Springer
Total Pages: 240
Release: 2018-02-10
Genre: Computers
ISBN: 331975632X

The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.

PLPV '13

PLPV '13
Author:
Publisher:
Total Pages:
Release: 2013
Genre:
ISBN: 9781450318600

Deductive Software Verification – The KeY Book

Deductive Software Verification – The KeY Book
Author: Wolfgang Ahrendt
Publisher: Springer
Total Pages: 714
Release: 2016-12-19
Genre: Computers
ISBN: 3319498126

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students (M.Sc. level and beyond). The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.

Types and Programming Languages

Types and Programming Languages
Author: Benjamin C. Pierce
Publisher: MIT Press
Total Pages: 656
Release: 2002-01-04
Genre: Computers
ISBN: 9780262162098

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic perspective—has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

Software Language Engineering

Software Language Engineering
Author: Benoit Combemale
Publisher: Springer
Total Pages: 0
Release: 2014-09-23
Genre: Computers
ISBN: 9783319112442

This book constitutes the refereed proceedings of the 7th International Conference on Software Language Engineering, SLE 2014, held in Västerås, Sweden, in September 2014. The 19 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 61 initial submissions. The papers observe software languages from different and yet complementary perspectives: programming languages, model driven engineering, domain specific languages, semantic web, and from different technological spaces: context-free grammars, object-oriented modeling frameworks, rich data, structured data, object-oriented programming, functional programming, logic programming, term-rewriting, attribute grammars, algebraic specification, etc.

PLPV '09

PLPV '09
Author: Thorsten Altenkirch
Publisher: Association for Computing Machinery (ACM)
Total Pages: 82
Release: 2009
Genre: Computer programs
ISBN: 9781605583303

POPL '09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Jan 18, 2009-Jan 24, 2009 Savannah, USA. You can view more information about this proceeding and all of ACMs other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.

Refinement Types

Refinement Types
Author: Ranjit Jhala
Publisher:
Total Pages: 182
Release: 2021-10-05
Genre: Computers
ISBN: 9781680838848

Refinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design and implementation of refinement type systems that can be retrofitted to existing languages, or co-designed with new ones.In this book, the authors catalyze the development of such systems by distilling the ideas developed in the sprawling literature on the topic into a coherent and unified tutorial that explains the key ingredients of modern refinement type systems, by showing how to implement a refinement type checker.Inspired by the nanopass framework for teaching compilation the authors show how to implement refinement types via a progression of languages that incrementally add features to the language or type system.The readily accessible book provides the reader with an insightful introduction into Refinement Types using an innovative tutorial style that enables fast learning. Furthermore, the accompanying software implementation allows readers to work on practical real-world examples.

Critical Perspectives on the Responsibility to Protect

Critical Perspectives on the Responsibility to Protect
Author: Philip Cunliffe
Publisher: Taylor & Francis
Total Pages: 161
Release: 2011-03-31
Genre: History
ISBN: 1136848460

This edited volume critically examines the widely supported doctrine of the 'Responsibility to Protect', and investigates the claim that it embodies progressive values in international politics. Since the United Nations World Summit of 2005, a remarkable consensus has emerged in support of the doctrine of the ‘responsibility to protect’ (R2P) – the idea that states and the international community bear a joint duty to protect peoples around the world from mass atrocities. While there has been plenty of discussion over how this doctrine can best be implemented, there has been no systematic criticism of the principles underlying R2P. This volume is the first critically to interrogate both the theoretical principles and the policy consequences of this doctrine. The authors in this collection argue that the doctrine of R2P does not in fact embody progressive values, and they explore the possibility that the R2P may undermine political accountability within states and international peace between them. This volume not only advances a novel set of arguments, but will also spur debate by offering views that are seldom heard in discussions of R2P. The aim of the volume is to bring a range of criticisms to bear from a variety of disciplinary perspectives, including international law, political science, IR theory and security studies. This book will be of much interest to students of the Responsibility to Protect, humanitarian intervention, human security, critical security studies and IR in general.

Proceedings of the Sixth Workshop on Programming Languages Meets Program Verification

Proceedings of the Sixth Workshop on Programming Languages Meets Program Verification
Author: Koen Claessen
Publisher:
Total Pages: 84
Release: 2012-01-22
Genre: Computer science
ISBN: 9781450311250

POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Jan 22, 2012-Jan 28, 2012 Philadelphia, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.