Testing of inter-process communication and synchronization of ITP LoadBalancer software via model-checking

Y.S. Usenko, Marko van Eekelen, S. Hoedt, ten, R. Schreurs

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

    80 Downloads (Pure)
    Original languageEnglish
    Title of host publicationProceedings of VVSS 2007 - verification and validation of software systems, 23 March 2007, Eindhoven, The Netherlands
    EditorsP. Groot, A. Serebrenik, M. Eekelen, van
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Pages201-208
    Publication statusPublished - 2007
    Event2007 Symposium on Verification and Validation of Software Systems (VVSS 2007) - Eindhoven, Netherlands
    Duration: 23 Mar 200723 Mar 2007

    Conference

    Conference2007 Symposium on Verification and Validation of Software Systems (VVSS 2007)
    CountryNetherlands
    CityEindhoven
    Period23/03/0723/03/07
    OtherVVSS 2007, Eindhoven, The Netherlands

    Cite this