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

Giorgio Delzanno; Sandro Etalle; Maurizio Gabbrielli

doi:10.1017/S1471068406002638

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

Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli

Research output: Contribution to journal › Article › Academic

5 Downloads (Pure)

Abstract

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 language	Undefined
Article number	10.1017/S1471068406002638
Pages (from-to)	225-226
Number of pages	2
Journal	Theory and practice of logic programming
Volume	6
Issue number	3
DOIs	https://doi.org/10.1017/S1471068406002638
Publication status	Published - 2006
Event	International Workshop on Software Verification and Validation, SVV 2003 - Mumbai, India Duration: 14 Dec 2003 → 14 Dec 2003

Keywords

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

Access to Document

10.1017/S1471068406002638

http://eprints.eemcs.utwente.nl/secure2/9672/01/Delzano06introduction.pdf

Cite this

@article{9a62f3ed2c644f65ad4d446893081292,

title = "Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems",

abstract = "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.",

keywords = "EWI-9672, IR-63997, METIS-241581, SCS-Cybersecurity",

author = "Giorgio Delzanno and Sandro Etalle and Maurizio Gabbrielli",

note = "10.1017/S1471068406002638 ; International Workshop on Software Verification and Validation, SVV 2003 ; Conference date: 14-12-2003 Through 14-12-2003",

year = "2006",

doi = "10.1017/S1471068406002638",

language = "Undefined",

volume = "6",

pages = "225--226",

journal = "Theory and practice of logic programming",

issn = "1471-0684",

publisher = "Cambridge University Press",

number = "3",

}

TY - JOUR

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

AU - Delzanno, Giorgio

AU - Etalle, Sandro

AU - Gabbrielli, Maurizio

N1 - 10.1017/S1471068406002638

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

KW - EWI-9672

KW - IR-63997

KW - METIS-241581

KW - SCS-Cybersecurity

U2 - 10.1017/S1471068406002638

DO - 10.1017/S1471068406002638

M3 - Article

SN - 1471-0684

VL - 6

SP - 225

EP - 226

JO - Theory and practice of logic programming

JF - Theory and practice of logic programming

IS - 3

M1 - 10.1017/S1471068406002638

T2 - International Workshop on Software Verification and Validation, SVV 2003

Y2 - 14 December 2003 through 14 December 2003

ER -