Symmetry Based Model Checker

@2000 Copyright A.Prasad Sistla and University of Illinois at Chicago

SMC is a symmetry based model checker that was developed at University of Illinois at Chicago, Electric Engineering and Computer Science Department by A. Prasad Sistla and his students.

Documentation on the use of SMC can be obtained from SMCDOC

SMC executable can be obtained here (by pressing the shift key and clicking on it) SMCEXECUTABLE

SMC source code can be obtained here (by pressing the shift key and clicking on it) SMCSOURCE To get the source files, unzip and untar the file.

LNC is a tool for parameterized verification of linear networks. LNC executable can be obtained here (by pressing the shift key and clicking on it) LNCEXECUTABLE

To use LNC, you also need SMC. So have SMC in the same directory as LNC for using LNC. For documentation on LNC or for examples please send a mesage to A. Prasad Sistla at

The University does not warrant, guarantee, or make any representations regarding the use, or the results of the use of this software in terms of correctness, accuracy , reliability, currentness, or otherwise. The entire risk as to the results and performance of the software is assumed by the User. University disclaims any and all warranties of any kind, expressed or implied, with respect to the software, including without limitation any warranties of merchantability and warranties of fitness for a particular purpose. University shall not be liable for any direct, indirect, consequential, or incidental damage (including damages for loss of business profits, business interruption, loss of business information, and the like) arising out of any claim regarding the use of or inability to use the software. User agrees to indemnify and hold University and its suppliers harmless with respect to all claims by third parties arising out of User's use of the results of operation of the software.

Symmetry Reductions Tutorial Slides (VMCAI03 Talk)

This topic: Sistla > WebHome > Publications > Experiance > Tools
Topic revision: r1 - 2009-06-19 - 20:08:20 - Main.rdoma2
Copyright 2016 The Board of Trustees
of the University of
Helping Women Faculty Advance
Funded by NSF