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.

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.

Computer Aided Verification

Computer Aided Verification
Author: Armin Biere
Publisher: Springer
Total Pages: 904
Release: 2014-06-28
Genre: Computers
ISBN: 331908867X

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.

Doing Qualitative Research in Psychology

Doing Qualitative Research in Psychology
Author: Michael A Forrester
Publisher: SAGE
Total Pages: 281
Release: 2012-08-14
Genre: Psychology
ISBN: 1446242323

Electronic Inspection Copy available for instructors here Providing a complete introduction to qualitative methods in psychology, this textbook is ideal reading for anyone doing a research methods course in psychology that includes qualitative approaches or someone planning a practical project using qualitative methods. Not just another research methods book, Doing Qualitative Research in Psychology is more a ′how to do it′ manual, linked with a specifically designed set of digitised video recordings, transcripts and online resources to make learning about qualitative methods as easy as possible. The primary resources are a set of online, publically available video-recorded interviews produced by the editor and contributors to support student learning. The text offers useful descriptions of how and why research questions are formulated and explains the importance of selecting appropriate methods for research investigations. Using examples from the specially produced data set, it describes four specific qualitative methods, outlining - in its very clear ′how to proceed′ style - how each of these methods can form the basis of a qualitative methods laboratory class, practical or field study. As well as covering key topics such as ethics, literature reviews and interviewing, the book also describes precisely how research reports using qualitative methods are written up, in line with the appropriate conventions within psychology.