Finite-word hyperlanguages (Q6186311)

From MaRDI portal

Revision as of 11:18, 26 August 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

scientific article; zbMATH DE number 7798809

Language	Label	Description	Also known as
English	Finite-word hyperlanguages	scientific article; zbMATH DE number 7798809

Statements

scholarly article

0 references

Finite-word hyperlanguages (English)

0 references

Borzoo Bonakdarpour

0 references

Sarai Sheinvald

0 references

Information and Computation

0 references

publication date

2 February 2024

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.ic.2022.104944

0 references

HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

0 references

Defining liveness

0 references

A temporal logic for asynchronous hyperproperties

0 references

Program Repair for Hyperproperties

0 references

Rewriting-Based Runtime Verification for Alternation-Free HyperLTL

0 references

0 references

“Sometimes” and “not never” revisited

0 references

Synthesizing reactive systems from hyperproperties

0 references

Monitoring hyperproperties

0 references

Noninterference for concurrent programs and thread systems

0 references

Compositional model checking for multi-properties

0 references

Bounded model checking for hyperproperties

0 references

Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words

0 references

Automata-theoretic techniques for modal logics of programs

0 references

Reasoning about infinite computations

0 references

Identifiers

10.1016/j.ic.2022.104944

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6186311

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