kframework / java-semanticsLinks
The semantics of Java in K
☆18Updated 4 years ago
Alternatives and similar repositories for java-semantics
Users that are interested in java-semantics are comparing it to the libraries listed below
Sorting:
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- Kodkod solver for relational logic☆78Updated 2 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Updated 3 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆97Updated 4 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- Tree-based Autofolding Software Summarization Algorithm☆43Updated 9 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 11 years ago
- Static Analyzer and Verifier☆48Updated last year
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆26Updated 6 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆53Updated 5 years ago
- VATA Tree Automata Library☆33Updated last year
- ☆52Updated 9 years ago
- C Language Analysis in Rascal☆26Updated 3 months ago
- ☆41Updated 6 years ago
- program synthesis is possible☆41Updated 6 years ago
- ☆71Updated 5 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 8 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Semantic program repair system for C programs☆100Updated 3 years ago
- Python bindings for libNVVM☆37Updated 11 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆102Updated 5 years ago
- Supplementary files for SSFT 2015 summer school☆11Updated 6 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- generative programming & verification☆33Updated 4 months ago
- ☆34Updated 5 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆55Updated this week