Assume, guarantee or repair: a regular framework for non regular properties

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1433-2787
Extent
Online-Ressource
Language
Englisch
Notes
online resource.

Bibliographic citation
Assume, guarantee or repair: a regular framework for non regular properties ; volume:24 ; number:5 ; day:29 ; month:9 ; year:2022 ; pages:667-689 ; date:10.2022
International journal on software tools for technology transfer ; 24, Heft 5 (29.9.2022), 667-689, 10.2022

Creator
Frenkel, Hadar
Grumberg, Orna
Păsăreanu, Corina S.
Sheinvald, Sarai
Contributor
SpringerLink (Online service)

DOI
10.1007/s10009-022-00669-9
URN
urn:nbn:de:101:1-2023012909110782890219
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:34 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

  • Frenkel, Hadar
  • Grumberg, Orna
  • Păsăreanu, Corina S.
  • Sheinvald, Sarai
  • SpringerLink (Online service)

Other Objects (12)

Arithmetic properties of l-regular partitions and l-regular bipartitions

Arithmetic properties of l-regular partitions and l-regular bipartitions

Verification of non-regular program properties

Hochschulschrift

Verification of non-regular program properties

Regular Detri.

Abschnitt

Regular Detri.

Regular irregularity

Grafik

Regular irregularity

Regular Aufrisse

Kapitel

Regular Aufrisse

Regular Pigri.

Abschnitt

Regular Pigri.

Regular structures

Regular structures

Regular antichains

Hochschulschrift

Regular antichains

Regular Verbs.

Abschnitt

Regular Verbs.

Regular niggards

Grafik

Regular niggards

Specification Languages for Stutter-Invariant Regular Properties

Specification Languages for Stutter-Invariant Regular Properties

Regular infinite economies

Arbeitspapier

Regular infinite economies

Related objects