Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.iis.sinica.edu.tw/~eric/icdcs2k-dsvv/
Organizers: Dr. Pao-Ann Hsiung
Deadline for abstracts: October 30, 1999
Description:
An international workshop on DISTRIBUTED SYSTEM VALIDATION AND
VERIFICATION is being organized in conjunction with ICDCS'2000. Distributed systems have
parts located in more than one location and distributed applications need to work coherently within
such a system to be feasible. Such systems and applications are difficult to validate and verify. The
DSVV'2000 workshop will try to assimilate all related techniques, either formal or technical, which
contribute towards proving systems valid. Formal methods include queuing theory, analytic methods,
model-checking, process algebra, theorem proving, term rewriting, and other logic-related
techniques. Technical methods include different simulation models, testing, emulation, virtual
prototyping, rapid prototyping, and other ad-hoc techniques.
All topics related to distributed system validation and verification are invited. Topics of interest include, but are not limited to, the following: Specification/Modeling Techniques Formal Methods Simulation Techniques Industrial Techniques Testing Techniques Case Studies Verification Techniques IP / Virtual Components Validation Tools Embedded Systems Verification Tools Hardware-Software Coverification
Date received: September 29, 1999
© 2008 Atlas Conferences Inc.