Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems

Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli

    Research output: Contribution to journalArticleAcademic

    1 Downloads (Pure)


    This special issue is inspired by the homonymous ICLP workshops that took place during ICLP 2001 and ICLP 2002. Extending and shifting slightly from the scope of their predecessors (on verification and logic languages) held in the context of previous editions of ICLP, the aim of the SAVE workshops was to bring together researchers interested in the use of computational logic as a tool for the specification, the analysis and the validation of systems, with particular emphasis on emerging technologies such as World Wide Web and E-Commerce, (protocols for) Smart Cards and Mobile Telephony, Wireless Technology, Hybrid Systems, Real-Time and Distributed systems, etc.
    Original languageUndefined
    Article number10.1017/S1471068406002638
    Pages (from-to)225-226
    Number of pages2
    JournalTheory and practice of logic programming
    Issue number3
    Publication statusPublished - 2006
    EventInternational Workshop on Software Verification and Validation, SVV 2003 - Mumbai, India
    Duration: 14 Dec 200314 Dec 2003


    • EWI-9672
    • IR-63997
    • METIS-241581
    • SCS-Cybersecurity

    Cite this