Posts Tagged "publications"
- A case for data-oriented specifications: simpler implementation of B tools and DSLs
- Bi-Directional DSL Transformation Using miniKanren
- Runtime Evaluation of Prolog Data Structures
- A verified low-level implementation and visualization of the adaptive exterior light and speed control system
- Meta-Programming Event-B - Advancing Tool Support and Language Extensions
- On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
- An Embedding of B in Clojure
- A Jupyter Kernel for Prolog
- Towards Practical Partial Order Reduction for High-Level Formalisms
- Fifty Years of Prolog and Beyond
- Increasing Student Self-Reliance and Engagement in Model-Checking Courses
- Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper
- Effectiveness of Annotation-Based Static Type Inference
- On the Performance of Bytecode Interpreters in Prolog
- Integrating formal specifications into applications: the ProB Java API
- The First Twenty-Five Years of Industrial Use of the B-Method
- A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
- Towards a Shared Specification Repository
- Prototyping Games Using Formal Methods
- Validation and real-life demonstration of {ETCS} hybrid level 3 principles using a formal B model
- A Multi-Target Code Generator for High-Level B
- Experience Report on an Inquiry-Based Course on Model Checking
- Prolog Coding Guidelines: Status and Tool Support
- Embedding High-Level Formal Specifications into Applications
- The History and Evolution of B and Event-B
- Measuring Coverage of Prolog Programs Using Mutation Testing
- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin
- Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains
- plspec - A Specification Language for Prolog Data
- Distributed Model Checking Using ProB
- Three is a Crowd: SAT, SMT and CLP on a Chessboard
- Symbolic Reachability Analysis of B through ProB and LTSmin
- Evaluating Interpreter Design in Prolog
