Hostname: page-component-cd9895bd7-gxg78 Total loading time: 0 Render date: 2024-12-27T11:46:46.514Z Has data issue: false hasContentIssue false
  • English
  • Français

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

Published online by Cambridge University Press:  11 May 2006

GIORGIO DELZANNO ,
SANDRO ETALLE  and
MAURIZIO GABBRIELLI
GIORGIO DELZANNO
Affiliation:
Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, Via Dodecaneso 35, 16146 Genova, Italy (e-mail: giorgio@disi.unige.it)
SANDRO ETALLE
Affiliation:
Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, Drienerlolaan 5, 7522 NB Enschede, The Netherlands (e-mail: s.etalle@utwente.nl)
MAURIZIO GABBRIELLI
Affiliation:
Dipartimento di Scienze dell'Informazione, Università di Bologna, Mura Anteo Zamboni 7, 40127 Bologna, Italy (e-mail: gabbrielli@cs.unibo.it)
Get access Rights & Permissions [Opens in a new window]

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.

Type
Regular Papers
Information
Theory and Practice of Logic Programming , Volume 6 , Issue 3 , May 2006 , pp. 225 - 226
Copyright
2006 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)