Data

Tools

Indexes

Applications

Experiments

Open Source Science

crit

A tool for automating Rewriting Induction (RI) for Logically Constrained Term Rewriting Systems (LCTRSs)

https://github.com/deividrvale/crit

Science Score: 77.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ✓
    DOI references
    Found 1 DOI reference(s) in README
  • ✓
    Academic publication links
    Links to: acm.org
  • ✓
    Committers with academic emails
    2 of 2 committers (100.0%) from academic institutions
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (2.6%) to scientific vocabulary
Last synced: 6 months ago · JSON representation ·

Repository

A tool for automating Rewriting Induction (RI) for Logically Constrained Term Rewriting Systems (LCTRSs)

Basic Info
  • Host: GitHub
  • Owner: deividrvale
  • License: mit
  • Language: Scala
  • Default Branch: main
  • Size: 500 KB
Statistics
  • Stars: 0
  • Watchers: 3
  • Forks: 0
  • Open Issues: 20
  • Releases: 0
Created almost 4 years ago · Last pushed over 2 years ago
Metadata Files
Readme License Citation

README.md

Constrained Rewriting Induction Tool (CRIT)

A tool for applying Rewriting Induction (RI) for Logically Constrained Term Rewriting Systems (LCTRSs).

Based on the paper "Verifying Procedural Programs via Constrained Rewriting Induction" by Fuhs, Kop and Nishida [1] and the Ctrl-tool [2].

Made by Jörg Endrullis and Wouter Brozius. For citing, please see the CITATION.cff file

References

[1] C. Fuhs, C. Kop, N. Nishida "Verifying Procedural Programs via Constrained Rewriting Induction" https://dl.acm.org/doi/pdf/10.1145/3060143

[2] C. Kop "Ctrl: Constrained Term Rewriting tooL" http://cl-informatik.uibk.ac.at/software/ctrl/

Owner

  • Name: Deivid Vale
  • Login: deividrvale
  • Kind: user
  • Company: Radboud University Nijmegen

Citation (CITATION.cff) 

cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- family-names: "Endrullis"
  given-names: "Jörg"
  orcid: "https://orcid.org/0000-0000-0000-0000"
- family-names: "Brozius"
  given-names: "Wouter Florian"
  orcid: "https://orcid.org/0000-0000-0000-0000"
title: "LCTRS-RI-Tool"
version: 1.0.0
doi: 10.5281/zenodo.1234
date-released: 2022-06-02
url: "https://github.com/WBrozius/LCTRS-RI-Tool"

GitHub Events

Total
Last Year

Committers

Last synced: 8 months ago

All Time
  • Total Commits: 190
  • Total Committers: 2
  • Avg Commits per committer: 95.0
  • Development Distribution Score (DDS): 0.153
Past Year
  • Commits: 0
  • Committers: 0
  • Avg Commits per committer: 0.0
  • Development Distribution Score (DDS): 0.0
Top Committers
Name Email Commits
WBrozius w****s@v****l 161
jendrullis j****s@v****l 29
Committer Domains (Top 20 + Academic)
vu.nl: 2

Issues and Pull Requests

Last synced: 8 months ago

All Time
  • Total issues: 50
  • Total pull requests: 0
  • Average time to close issues: 2 months
  • Average time to close pull requests: N/A
  • Total issue authors: 1
  • Total pull request authors: 0
  • Average comments per issue: 0.26
  • Average comments per pull request: 0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 0
  • Pull requests: 0
  • Average time to close issues: N/A
  • Average time to close pull requests: N/A
  • Issue authors: 0
  • Pull request authors: 0
  • Average comments per issue: 0
  • Average comments per pull request: 0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
  • WBrozius (49)
Pull Request Authors
Top Labels
Issue Labels
bug (12) user-experience (6) future work (5) suggestion (3) optional (3) help wanted (2) code cleanup (1)
Pull Request Labels