Examples of org.openiaml.verification.nusmv.VerificationRule

org.openiaml.verification.nusmv.VerificationRule
Represents a method (templates? QVT? OAW?) of converting an EObject model into a NuSMV model. Also contains the verification rule itself (in text). @author jmwright

    
    VerificationEngine engine = new VerificationEngine(true) {


      @Override
      public List<VerificationRule> getVerificationRules() {
        VerificationRule rule = new StringVerificationRule(ltlspec);
        return Collections.singletonList(rule);
      }
      
    };

View Full Code Here

TOP

Related Classes of org.openiaml.verification.nusmv.VerificationRule

org.openiaml.verification.nusmv.tests.AbstractNuSMVTestCase

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.