Logical Characterization and Analysis of Fault Tolerant Systems through Partial Model Checking

S. Gnesi, Gabriele Lenzini, F. Martinelli

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India
    EditorsS. Etalle, S. Mukhopadhyay, A. Roychoudhury
    PublisherElsevier
    Pages57-70
    Publication statusPublished - 14 Dec 2005
    EventInternational Workshop on Software Verification and Validation, SVV 2003 - Mumbai, India
    Duration: 14 Dec 200314 Dec 2003

    Publication series

    Name
    Volume118
    ISSN (Print)1571-0661
    ISSN (Electronic)1571-0661

    Conference

    ConferenceInternational Workshop on Software Verification and Validation, SVV 2003
    Abbreviated titleSVV
    CountryIndia
    CityMumbai
    Period14/12/0314/12/03

    Keywords

    • METIS-214067

    Cite this

    Gnesi, S., Lenzini, G., & Martinelli, F. (2005). Logical Characterization and Analysis of Fault Tolerant Systems through Partial Model Checking. In S. Etalle, S. Mukhopadhyay, & A. Roychoudhury (Eds.), Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India (pp. 57-70). Elsevier.