Program Repair for Hyperproperties (Q3297603)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Program Repair for Hyperproperties	scientific article

Statements

scholarly article

0 references

Program Repair for Hyperproperties (English)

0 references

Borzoo Bonakdarpour

0 references

Bernd Finkbeiner

0 references

Automated Technology for Verification and Analysis

0 references

publication date

20 July 2020

0 references

full work available at URL

https://arxiv.org/abs/2101.08257

0 references

MaRDI profile type

MaRDI publication profile

0 references

HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

0 references

Rewriting-Based Runtime Verification for Alternation-Free HyperLTL

0 references

Verifying hyperliveness

0 references

Counting quantifiers, successor relations, and logarithmic space

0 references

0 references

Synthesis from hyperproperties

0 references

Monitoring hyperproperties

0 references

Model checking quantitative hyperproperties

0 references

Algorithms for model checking HyperLTL and HyperCTL\(^*\)

0 references

Automated Technology for Verification and Analysis

0 references

0 references

Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications

0 references

Computer Aided Verification

0 references

Weak Kripke Structures and LTL

0 references

The correlation between the complexities of the nonhierarchical and hierarchical versions of graph problems

0 references

Control problems in a temporal logic framework

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-030-31784-3_25

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3297603

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3297603&oldid=36601455"