Introduction (Special Issue on Specification analysis and verification of reactive systems)

G. Delzanno, S. Etalle, M. Gabbrielli

    Research output: Contribution to journalArticleProfessional


    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 languageEnglish
    Pages (from-to)225-226
    JournalTheory and Practice of Logic Programming
    Issue number3
    Publication statusPublished - 2006


    Dive into the research topics of 'Introduction (Special Issue on Specification analysis and verification of reactive systems)'. Together they form a unique fingerprint.

    Cite this