Inductive invariant checking with partial negative application conditions

Inductive invariant checking with partial negative application conditions
Author :
Publisher : Universitätsverlag Potsdam
Total Pages : 48
Release :
ISBN-10 : 9783869563336
ISBN-13 : 3869563338
Rating : 4/5 (338 Downloads)

Book Synopsis Inductive invariant checking with partial negative application conditions by : Dyck, Johannes

Download or read book Inductive invariant checking with partial negative application conditions written by Dyck, Johannes and published by Universitätsverlag Potsdam. This book was released on 2016-04-13 with total page 48 pages. Available in PDF, EPUB and Kindle. Book excerpt: Graph transformation systems are a powerful formal model to capture model transformations or systems with infinite state space, among others. However, this expressive power comes at the cost of rather limited automated analysis capabilities. The general case of unbounded many initial graphs or infinite state spaces is only supported by approaches with rather limited scalability or expressiveness. In this report we improve an existing approach for the automated verification of inductive invariants for graph transformation systems. By employing partial negative application conditions to represent and check many alternative conditions in a more compact manner, we can check examples with rules and constraints of substantially higher complexity. We also substantially extend the expressive power by supporting more complex negative application conditions and provide higher accuracy by employing advanced implication checks. The improvements are evaluated and compared with another applicable tool by considering three case studies.


Inductive invariant checking with partial negative application conditions Related Books

Inductive invariant checking with partial negative application conditions
Language: en
Pages: 48
Authors: Dyck, Johannes
Categories: Computers
Type: BOOK - Published: 2016-04-13 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Graph transformation systems are a powerful formal model to capture model transformations or systems with infinite state space, among others. However, this expr
k-Inductive invariant checking for graph transformation systems
Language: en
Pages: 52
Authors: Dyck, Johannes
Categories:
Type: BOOK - Published: 2017-09-15 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

While offering significant expressive power, graph transformation systems often come with rather limited capabilities for automated analysis, particularly if sy
Proceedings of the 9th Ph.D. retreat of the HPI Research School on service-oriented systems engineering
Language: en
Pages: 266
Authors: Meinel, Christoph
Categories: Computers
Type: BOOK - Published: 2017-03-23 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Design and implementation of service-oriented architectures impose numerous research questions from the fields of software engineering, system analysis and mod
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Language: en
Pages: 154
Authors: Beyhl, Thomas
Categories: Computers
Type: BOOK - Published: 2016-01-12 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Graph databases provide a natural way of storing and querying graph data. In contrast to relational databases, queries over graph databases enable to refer dire
Graph Transformation
Language: en
Pages: 292
Authors: Francesco Parisi-Presicce
Categories: Computers
Type: BOOK - Published: 2015-07-16 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 ful