2003/05/26

SDL-2000 Syntax Checker Update

I fixed a couple of problems that were reported kindly by Francisco Sanchez, Spain, and Fabio Marcone, Italy.

Download the latest sources of the SDL-2000 grammar files. Download an executable file for the Linux platform (compiled with SuSE 8.1, statically linked libraries).

2003/03/03

Test Generation Based on Formal Specifications - Practical Procedures for Efficient State Space Exploration and Improved Representation of Test Cases

2002/01/17

SDL-2000 Syntax Checker Update

I am in the process of upgrading the SDL-2000 parser to the third revision of Z.100 (11/99) as approved by ITU-T in September 2001.