An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
-
Updated
May 27, 2024 - Alloy
In computer science and software engineering, Alloy is a declarative
specification language for expressing complex structural constraints and
behavior in a software system. Alloy provides a simple structural modeling tool
based on first-order logic. Alloy is targeted at the creation of micro-models
that can then be automatically checked for correctness. Alloy specifications
can be checked using the Alloy Analyzer.
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
🚀 Native iOS and Android Apps with JavaScript
A debugger for transition systems modelled in Alloy
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Formal analysis for the Electrod formal specification language
Software Engineering 2 project - MSc Computer Science & Engineering
Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
Todo App
Exam scheduling, latin squares and more — exploring problems equivalent to graph coloring in a visually appealing fashion
Grafana Alloy support for Vim/Neovim
MLMD: a programming-free AI platform to predict and design materials
A Formal Method playground for limboole, Z3, nuXmv, and Alloy
PurgeTSS is a package that helps Titanium developers create visually appealing mobile apps more easily, with features including highly customizable utility classes, icon fonts support, a basic Animation module, a simple grid system, and a shades command for creating custom colors.
A Titanium App for iOS and Android to showcase all the colors in config.js file, created with PurgeTSS