Posts Tagged "tools"
- A case for data-oriented specifications: simpler implementation of B tools and DSLs
- Runtime Evaluation of Prolog Data Structures
- Meta-Programming Event-B - Advancing Tool Support and Language Extensions
- An Embedding of B in Clojure
- A Jupyter Kernel for Prolog
- Towards Practical Partial Order Reduction for High-Level Formalisms
- Effectiveness of Annotation-Based Static Type Inference
- Prolog Coding Guidelines: Status and Tool Support
- Measuring Coverage of Prolog Programs Using Mutation Testing
- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin
- plspec - A Specification Language for Prolog Data
- Symbolic Reachability Analysis of B through ProB and LTSmin
