Class ModelCheckingTest

java.lang.Object
  ModelCheckingTest

public class ModelCheckingTest
extends java.lang.Object

Version:

"1.3.2"

Author:

yaniv sa'ar.

Constructor Summary

ModelCheckingTest()

Method Summary

static void	ctlCheck()
static void	ltlCheck()
static void	main(java.lang.String[] args)
static void	simpleCheckDeadlock()
static void	simpleCheckInvariance()
static void	simpleCheckReact()
static void	simpleCheckTempEntail()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ModelCheckingTest

public ModelCheckingTest()

Method Detail

main

public static void main(java.lang.String[] args)

simpleCheckDeadlock

public static void simpleCheckDeadlock()

simpleCheckInvariance

public static void simpleCheckInvariance()

simpleCheckTempEntail

public static void simpleCheckTempEntail()

simpleCheckReact

public static void simpleCheckReact()

ctlCheck

public static void ctlCheck()

ltlCheck

public static void ltlCheck()