Accepted Papers
| Reasoning about Systems with
Many Data Values without Data Independence Assumption (extended
abstract)
(PostScript) (Review) Yung-Pin Cheng and Keh-Ren Wu |
| Analyzing Interoperability of
Protocols Using Model Checking
(PDF) (Review) P. Wu |
| Behavioural Unfolding of
Formal Specifications Based on Communicating Extended Automata
(Postscript) (Review) N. Rapin, C. Gaston, A. Lapitre and J.P. Gallois |
| Verification and Realization
for the Distributed Parallel Systems based on An Extended Petri Net and
XML/Java Executor
(Postscript) (Review) Shin'nosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama |
| Practical Model Checking of
LTL with Past
(PDF) (Review) M. Pradella et al. |
| Using SPIN to Model
Cryptographic Protocols
(PDF) (Review) Li Yongjian, Xue rui |
| Creating a Formal Verification
Platform for IBM CoreConnect-based SoC
(PDF) (Review) Wen-Shiu Liao and Pao-Ann Hsiung |
| Defining the Semantics of UML
Class and Sequence Diagrams for Ensuring the Consistency and
Executablity of OO Software Specification
(PDF) (Review) Frank Xia and, Gautam S.Kane |
| Regular Expressions for
Run-Time Verification Languages
(Postscript) (Review) Sammapun and Sokolsky |
| Towards a Temporal Logic $\tau$LTL
for the Verification of Rewriting Theories Denoting ECATNets
(Postscript) (Review) Hacene Sebih et al. |
| SCENATOR: a Prototype Tool for
Requirements Inconsistency Detection
(Postscript) (Review) Ridha Khedri, Rong Wu, and Bahati Sanga |
| A Framework for Modeling and
Analysis of Rea-time System Operating System
(Postscript) (Review) J. Kim and J. Choi |