Opam Package electrod.0.7.1

Package info

opam-nameelectrod
opam-version0.7.1
synopsisFormal analysis for the Electrod formal pivot language
description Electrod is a model finder inspired by Kodkod. It takes as input a model expressed in a mixture of relational first-order logic (RFOL) over bounded domains and linear temporal logic (LTL) over an unbounded time horizon. Then it compiles the model to a problem for a solver (currently the NuSMV and nuXmv tools) to produce example or counter-example traces. Electrod is primarily meant to be used as a backend for the Electrum formal method and tool.
authors
  • David Chemouil
  • Julien Brunel
homepagehttps://github.com/grayswandyr/electrod
licenseMPL-2.0
changes-fileCHANGES.md
license-fileLICENSE.md
readme-fileREADME.md
deps (17)
revdeps(0)
metas (2)
libraries (1)

Package modules

Package sources

electrod

Package files

lib/electrod/opam
lib/electrod/libelectrod/libelectrod__Var.cmx
lib/electrod/libelectrod/libelectrod__Var.cmti
lib/electrod/libelectrod/libelectrod__Var.cmt
lib/electrod/libelectrod/libelectrod__Var.cmi
lib/electrod/libelectrod/libelectrod__Tuple_set.cmx
lib/electrod/libelectrod/libelectrod__Tuple_set.cmti
lib/electrod/libelectrod/libelectrod__Tuple_set.cmt
lib/electrod/libelectrod/libelectrod__Tuple_set.cmi
lib/electrod/libelectrod/libelectrod__Tuple.cmx
lib/electrod/libelectrod/libelectrod__Tuple.cmti
lib/electrod/libelectrod/libelectrod__Tuple.cmt
lib/electrod/libelectrod/libelectrod__Tuple.cmi
lib/electrod/libelectrod/libelectrod__Transfo.cmx
lib/electrod/libelectrod/libelectrod__Transfo.cmti
lib/electrod/libelectrod/libelectrod__Transfo.cmt
lib/electrod/libelectrod/libelectrod__Transfo.cmi
lib/electrod/libelectrod/libelectrod__Symmetry.cmx
lib/electrod/libelectrod/libelectrod__Symmetry.cmti
lib/electrod/libelectrod/libelectrod__Symmetry.cmt
lib/electrod/libelectrod/libelectrod__Symmetry.cmi
lib/electrod/libelectrod/libelectrod__Symbol.cmx
lib/electrod/libelectrod/libelectrod__Symbol.cmti
lib/electrod/libelectrod/libelectrod__Symbol.cmt
lib/electrod/libelectrod/libelectrod__Symbol.cmi
lib/electrod/libelectrod/libelectrod__Solver.cmx
lib/electrod/libelectrod/libelectrod__Solver.cmti
lib/electrod/libelectrod/libelectrod__Solver.cmt
lib/electrod/libelectrod/libelectrod__Solver.cmi
lib/electrod/libelectrod/libelectrod__Smv_trace_tokens.cmx
lib/electrod/libelectrod/libelectrod__Smv_trace_tokens.cmti
lib/electrod/libelectrod/libelectrod__Smv_trace_tokens.cmt
lib/electrod/libelectrod/libelectrod__Smv_trace_tokens.cmi
lib/electrod/libelectrod/libelectrod__Smv_trace_scanner.cmx
lib/electrod/libelectrod/libelectrod__Smv_trace_scanner.cmt
lib/electrod/libelectrod/libelectrod__Smv_trace_scanner.cmi
lib/electrod/libelectrod/libelectrod__Smv_trace_parser.cmx
lib/electrod/libelectrod/libelectrod__Smv_trace_parser.cmti
lib/electrod/libelectrod/libelectrod__Smv_trace_parser.cmt
lib/electrod/libelectrod/libelectrod__Smv_trace_parser.cmi
lib/electrod/libelectrod/libelectrod__Smv.cmx
lib/electrod/libelectrod/libelectrod__Smv.cmti
lib/electrod/libelectrod/libelectrod__Smv.cmt
lib/electrod/libelectrod/libelectrod__Smv.cmi
lib/electrod/libelectrod/libelectrod__Simplify2.cmx
lib/electrod/libelectrod/libelectrod__Simplify2.cmt
lib/electrod/libelectrod/libelectrod__Simplify2.cmi
lib/electrod/libelectrod/libelectrod__Simplify1.cmx
lib/electrod/libelectrod/libelectrod__Simplify1.cmt
lib/electrod/libelectrod/libelectrod__Simplify1.cmi
lib/electrod/libelectrod/libelectrod__Shortnames.cmx
lib/electrod/libelectrod/libelectrod__Shortnames.cmti
lib/electrod/libelectrod/libelectrod__Shortnames.cmt
lib/electrod/libelectrod/libelectrod__Shortnames.cmi
lib/electrod/libelectrod/libelectrod__Scripts.cmx
lib/electrod/libelectrod/libelectrod__Scripts.cmt
lib/electrod/libelectrod/libelectrod__Scripts.cmi
lib/electrod/libelectrod/libelectrod__Scope.cmx
lib/electrod/libelectrod/libelectrod__Scope.cmti
lib/electrod/libelectrod/libelectrod__Scope.cmt
lib/electrod/libelectrod/libelectrod__Scope.cmi
lib/electrod/libelectrod/libelectrod__Scanner.cmx
lib/electrod/libelectrod/libelectrod__Scanner.cmt
lib/electrod/libelectrod/libelectrod__Scanner.cmi
lib/electrod/libelectrod/libelectrod__Relation.cmx
lib/electrod/libelectrod/libelectrod__Relation.cmti
lib/electrod/libelectrod/libelectrod__Relation.cmt
lib/electrod/libelectrod/libelectrod__Relation.cmi
lib/electrod/libelectrod/libelectrod__Raw_to_ast.cmx
lib/electrod/libelectrod/libelectrod__Raw_to_ast.cmti
lib/electrod/libelectrod/libelectrod__Raw_to_ast.cmt
lib/electrod/libelectrod/libelectrod__Raw_to_ast.cmi
lib/electrod/libelectrod/libelectrod__Raw_ident.cmx
lib/electrod/libelectrod/libelectrod__Raw_ident.cmti
lib/electrod/libelectrod/libelectrod__Raw_ident.cmt
lib/electrod/libelectrod/libelectrod__Raw_ident.cmi
lib/electrod/libelectrod/libelectrod__Raw.cmx
lib/electrod/libelectrod/libelectrod__Raw.cmti
lib/electrod/libelectrod/libelectrod__Raw.cmt
lib/electrod/libelectrod/libelectrod__Raw.cmi
lib/electrod/libelectrod/libelectrod__Parser_main.cmx
lib/electrod/libelectrod/libelectrod__Parser_main.cmti
lib/electrod/libelectrod/libelectrod__Parser_main.cmt
lib/electrod/libelectrod/libelectrod__Parser_main.cmi
lib/electrod/libelectrod/libelectrod__Parser.cmx
lib/electrod/libelectrod/libelectrod__Parser.cmti
lib/electrod/libelectrod/libelectrod__Parser.cmt
lib/electrod/libelectrod/libelectrod__Parser.cmi
lib/electrod/libelectrod/libelectrod__Outcome.cmx
lib/electrod/libelectrod/libelectrod__Outcome.cmti
lib/electrod/libelectrod/libelectrod__Outcome.cmt
lib/electrod/libelectrod/libelectrod__Outcome.cmi
lib/electrod/libelectrod/libelectrod__Name.cmx
lib/electrod/libelectrod/libelectrod__Name.cmti
lib/electrod/libelectrod/libelectrod__Name.cmt
lib/electrod/libelectrod/libelectrod__Name.cmi
lib/electrod/libelectrod/libelectrod__Msg.cmx
lib/electrod/libelectrod/libelectrod__Msg.cmt
lib/electrod/libelectrod/libelectrod__Msg.cmi
lib/electrod/libelectrod/libelectrod__Location.cmx
lib/electrod/libelectrod/libelectrod__Location.cmti
lib/electrod/libelectrod/libelectrod__Location.cmt
lib/electrod/libelectrod/libelectrod__Location.cmi
lib/electrod/libelectrod/libelectrod__Invar_computation.cmx
lib/electrod/libelectrod/libelectrod__Invar_computation.cmti
lib/electrod/libelectrod/libelectrod__Invar_computation.cmt
lib/electrod/libelectrod/libelectrod__Invar_computation.cmi
lib/electrod/libelectrod/libelectrod__Intf.cmx
lib/electrod/libelectrod/libelectrod__Intf.cmt
lib/electrod/libelectrod/libelectrod__Intf.cmi
lib/electrod/libelectrod/libelectrod__Instance.cmx
lib/electrod/libelectrod/libelectrod__Instance.cmti
lib/electrod/libelectrod/libelectrod__Instance.cmt
lib/electrod/libelectrod/libelectrod__Instance.cmi
lib/electrod/libelectrod/libelectrod__Gen_goal_recursor.cmx
lib/electrod/libelectrod/libelectrod__Gen_goal_recursor.cmt
lib/electrod/libelectrod/libelectrod__Gen_goal_recursor.cmi
lib/electrod/libelectrod/libelectrod__Gen_goal.cmx
lib/electrod/libelectrod/libelectrod__Gen_goal.cmti
lib/electrod/libelectrod/libelectrod__Gen_goal.cmt
lib/electrod/libelectrod/libelectrod__Gen_goal.cmi
lib/electrod/libelectrod/libelectrod__Fmtc.cmx
lib/electrod/libelectrod/libelectrod__Fmtc.cmti
lib/electrod/libelectrod/libelectrod__Fmtc.cmt
lib/electrod/libelectrod/libelectrod__Fmtc.cmi
lib/electrod/libelectrod/libelectrod__Exp_bounds.cmx
lib/electrod/libelectrod/libelectrod__Exp_bounds.cmti
lib/electrod/libelectrod/libelectrod__Exp_bounds.cmt
lib/electrod/libelectrod/libelectrod__Exp_bounds.cmi
lib/electrod/libelectrod/libelectrod__Elo_to_smv1.cmx
lib/electrod/libelectrod/libelectrod__Elo_to_smv1.cmt
lib/electrod/libelectrod/libelectrod__Elo_to_smv1.cmi
lib/electrod/libelectrod/libelectrod__Elo_to_model1.cmx
lib/electrod/libelectrod/libelectrod__Elo_to_model1.cmt
lib/electrod/libelectrod/libelectrod__Elo_to_model1.cmi
lib/electrod/libelectrod/libelectrod__Elo_to_ltl_intf.cmx
lib/electrod/libelectrod/libelectrod__Elo_to_ltl_intf.cmt
lib/electrod/libelectrod/libelectrod__Elo_to_ltl_intf.cmi
lib/electrod/libelectrod/libelectrod__Elo_to_ltl1.cmx
lib/electrod/libelectrod/libelectrod__Elo_to_ltl1.cmt
lib/electrod/libelectrod/libelectrod__Elo_to_ltl1.cmi
lib/electrod/libelectrod/libelectrod__Elo_recursor.cmx
lib/electrod/libelectrod/libelectrod__Elo_recursor.cmt
lib/electrod/libelectrod/libelectrod__Elo_recursor.cmi
lib/electrod/libelectrod/libelectrod__Elo.cmx
lib/electrod/libelectrod/libelectrod__Elo.cmti
lib/electrod/libelectrod/libelectrod__Elo.cmt
lib/electrod/libelectrod/libelectrod__Elo.cmi
lib/electrod/libelectrod/libelectrod__Domain.cmx
lib/electrod/libelectrod/libelectrod__Domain.cmti
lib/electrod/libelectrod/libelectrod__Domain.cmt
lib/electrod/libelectrod/libelectrod__Domain.cmi
lib/electrod/libelectrod/libelectrod__Atom.cmx
lib/electrod/libelectrod/libelectrod__Atom.cmti
lib/electrod/libelectrod/libelectrod__Atom.cmt
lib/electrod/libelectrod/libelectrod__Atom.cmi
lib/electrod/libelectrod/libelectrod__Ast_to_elo.cmx
lib/electrod/libelectrod/libelectrod__Ast_to_elo.cmt
lib/electrod/libelectrod/libelectrod__Ast_to_elo.cmi
lib/electrod/libelectrod/libelectrod__Ast.cmx
lib/electrod/libelectrod/libelectrod__Ast.cmti
lib/electrod/libelectrod/libelectrod__Ast.cmt
lib/electrod/libelectrod/libelectrod__Ast.cmi
lib/electrod/libelectrod/libelectrod.ml
lib/electrod/libelectrod/libelectrod.cmxs
lib/electrod/libelectrod/libelectrod.cmxa
lib/electrod/libelectrod/libelectrod.cmx
lib/electrod/libelectrod/libelectrod.cmt
lib/electrod/libelectrod/libelectrod.cmi
lib/electrod/libelectrod/libelectrod.cma
lib/electrod/libelectrod/libelectrod.a
lib/electrod/libelectrod/Var.mli
lib/electrod/libelectrod/Var.ml
lib/electrod/libelectrod/Tuple_set.mli
lib/electrod/libelectrod/Tuple_set.ml
lib/electrod/libelectrod/Tuple.mli
lib/electrod/libelectrod/Tuple.ml
lib/electrod/libelectrod/Transfo.mli
lib/electrod/libelectrod/Transfo.ml
lib/electrod/libelectrod/Symmetry.mli
lib/electrod/libelectrod/Symmetry.ml
lib/electrod/libelectrod/Symbol.mli
lib/electrod/libelectrod/Symbol.ml
lib/electrod/libelectrod/Solver.mli
lib/electrod/libelectrod/Solver.ml
lib/electrod/libelectrod/Smv_trace_tokens.mli
lib/electrod/libelectrod/Smv_trace_tokens.ml
lib/electrod/libelectrod/Smv_trace_scanner.ml
lib/electrod/libelectrod/Smv_trace_parser.mli
lib/electrod/libelectrod/Smv_trace_parser.ml
lib/electrod/libelectrod/Smv.mli
lib/electrod/libelectrod/Smv.ml
lib/electrod/libelectrod/Simplify2.ml
lib/electrod/libelectrod/Simplify1.ml
lib/electrod/libelectrod/Shortnames.mli
lib/electrod/libelectrod/Shortnames.ml
lib/electrod/libelectrod/Scripts.ml
lib/electrod/libelectrod/Scope.mli
lib/electrod/libelectrod/Scope.ml
lib/electrod/libelectrod/Scanner.ml
lib/electrod/libelectrod/Relation.mli
lib/electrod/libelectrod/Relation.ml
lib/electrod/libelectrod/Raw_to_ast.mli
lib/electrod/libelectrod/Raw_to_ast.ml
lib/electrod/libelectrod/Raw_ident.mli
lib/electrod/libelectrod/Raw_ident.ml
lib/electrod/libelectrod/Raw.mli
lib/electrod/libelectrod/Raw.ml
lib/electrod/libelectrod/Parser_main.mli
lib/electrod/libelectrod/Parser_main.ml
lib/electrod/libelectrod/Parser.mli
lib/electrod/libelectrod/Parser.ml
lib/electrod/libelectrod/Outcome.mli
lib/electrod/libelectrod/Outcome.ml
lib/electrod/libelectrod/Name.mli
lib/electrod/libelectrod/Name.ml
lib/electrod/libelectrod/Msg.ml
lib/electrod/libelectrod/Location.mli
lib/electrod/libelectrod/Location.ml
lib/electrod/libelectrod/Invar_computation.mli
lib/electrod/libelectrod/Invar_computation.ml
lib/electrod/libelectrod/Intf.ml
lib/electrod/libelectrod/Instance.mli
lib/electrod/libelectrod/Instance.ml
lib/electrod/libelectrod/Gen_goal_recursor.ml
lib/electrod/libelectrod/Gen_goal.mli
lib/electrod/libelectrod/Gen_goal.ml
lib/electrod/libelectrod/Fmtc.mli
lib/electrod/libelectrod/Fmtc.ml
lib/electrod/libelectrod/Exp_bounds.mli
lib/electrod/libelectrod/Exp_bounds.ml
lib/electrod/libelectrod/Elo_to_smv1.ml
lib/electrod/libelectrod/Elo_to_model1.ml
lib/electrod/libelectrod/Elo_to_ltl_intf.ml
lib/electrod/libelectrod/Elo_to_ltl1.ml
lib/electrod/libelectrod/Elo_recursor.ml
lib/electrod/libelectrod/Elo.mli
lib/electrod/libelectrod/Elo.ml
lib/electrod/libelectrod/Domain.mli
lib/electrod/libelectrod/Domain.ml
lib/electrod/libelectrod/Atom.mli
lib/electrod/libelectrod/Atom.ml
lib/electrod/libelectrod/Ast_to_elo.ml
lib/electrod/libelectrod/Ast.mli
lib/electrod/libelectrod/Ast.ml
lib/electrod/libelectrod
lib/electrod/dune-package
lib/electrod/META
lib/electrod
doc/electrod/README.md
doc/electrod/LICENSE.md
doc/electrod/CHANGES.md
doc/electrod
bin/electrod