Package org.openiaml.verification.nusmv.rules

Examples of org.openiaml.verification.nusmv.rules.InfiniteOperationLoop

50
51
52
53
54
55
56
57
58
   *
   * @return
   */
  public List<VerificationRule> getVerificationRules() {
    List<VerificationRule> list = new ArrayList<VerificationRule>();
    list.add(new InfiniteOperationLoop());
    list.add(new RedirectionLoop());
    return list;
  }
View Full Code Here
TOP

Related Classes of org.openiaml.verification.nusmv.rules.InfiniteOperationLoop

  • org.openiaml.verification.nusmv.VerificationEngine
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.