Alternatives and similar repositories for java-typestate-checker:

Users that are interested in java-typestate-checker are comparing it to the libraries listed below

• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆68Updated this week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated last week
• harp-project / AML-Formalization
  ☆12Updated this week
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆20Updated this week
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆37Updated this week
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆97Updated this week
• TermCOMP / TPDB
  The Termination Problem Database
  ☆28Updated last month
• uuverifiers / princess
  The Princess Theorem Prover
  ☆26Updated this week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆36Updated this week
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆34Updated 4 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆63Updated 2 weeks ago
• slasser / CoStar
  A parser based on the ALL(*) algorithm, implemented and verified in Coq.
  ☆12Updated 2 years ago
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆22Updated 2 years ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆35Updated this week
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆93Updated this week
• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated last year
• TiarkRompf / minidot
  Dependent Object Types (DOT), bottom up
  ☆83Updated 3 years ago
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated last year
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆27Updated 3 years ago
• coq-community / templates
  Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
  ☆13Updated 2 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆81Updated last week
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 4 months ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆24Updated last week
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 2 years ago
• fblanqui / color
  Coq library on rewriting theory and termination
  ☆36Updated this week
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆123Updated last year
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆89Updated 2 weeks ago
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆43Updated 2 years ago