Symbolic execution of concurrent systems using Petri nets (Q3031902)

From MaRDI portal
Revision as of 21:37, 3 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Symbolic execution of concurrent systems using Petri nets
scientific article

    Statements

    title
    Symbolic execution of concurrent systems using Petri nets (English)
    0 references
    author
    Carlo Ghezzi
    0 references
    Dino Mandrioli
    0 references
    Sandro Morasca
    0 references
    Mauro Pezzè
    0 references
    publication date
    1989
    0 references
    zbMATH Keywords
    software analysis
    0 references
    testing
    0 references
    symbolic execution
    0 references
    concurrent systems
    0 references
    Petri nets
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68N25
    0 references
    68Q85
    0 references
    68W30
    0 references
    zbMATH DE Number
    4129960
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3031902&oldid=16066550"
    Powered by MediaWiki