Abstract interpretation based verification of temporal properties for BioAmbients (Q989287)

From MaRDI portal
Revision as of 03:12, 3 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Abstract interpretation based verification of temporal properties for BioAmbients
scientific article

    Statements

    title
    Abstract interpretation based verification of temporal properties for BioAmbients (English)
    0 references
    author
    Roberta Gori
    0 references
    Francesca Levi
    0 references
    publication date
    19 August 2010
    0 references
    zbMATH DE Number
    5773133
    0 references
    zbMATH Keywords
    Mobile Ambients and BioAmbients calculus
    0 references
    abstract interpretation
    0 references
    verification of temporal properties
    0 references
    describes a project that uses
    PRISM
    0 references
    SLMC
    0 references
    OpenAlex ID
    W2041114506
    0 references
    cites work
    Q5472932
    0 references
    Brane Calculi
    0 references
    Mobile ambients
    0 references
    Q2766538
    0 references
    Q2703725
    0 references
    Q4778710
    0 references
    Q4494378
    0 references
    Q4413201
    0 references
    Static Analysis
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q989287&oldid=35183032"
    Powered by MediaWiki