Tootfinder

The siren song of domain-specific languages #DSL
https://www.haskellforall.com/2024/02/the-siren-song-of-domain-specific.html

Newspapers are being “disgusted” by the olympics kits using a modified Union Flag design, using pink/purple shades.
But, in a twist, there are no official (or at least public) specifications for the flag as national flag, and no exact specification of colours. Apparently there is an “Order in Council” (specifying colours as “azure", “argent", “gules”) but it's not on legislation.gov.uk.
(A "Union Flag Bill” proposed in 2008 would have specified the flag.)

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
Tom Yaacov, Achiya Elyasaf, Gera Weiss
https://arxiv.org/abs/2404.01858 h…

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
One of the benefits of using executable specifications such as Behavioral Programming (BP) is the ability to align the system implementation with its requirements. This is facilitated in BP by a protocol that allows independent implementation modules that specify what the system may, must, and must not do. By that, each module can enforce a single system requirement, including negative specifications such as "don't do X after Y." The existing BP protocol, however, allows only the enforcement of…

My latest publication, "Uncreative Designs," now live in the Duke Law Journal: #LawProfs

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
Maico H. W. Engelaar, Zengjie Zhang, Eleftherios E. Vlahakis, Mircea Lazar, Sofie Haesaert
https://arxiv.org/abs/2404.02111

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
This paper addresses the control synthesis of heterogeneous stochastic linear multi-agent systems with real-time allocation of signal temporal logic (STL) specifications. Based on previous work, we decompose specifications into sub-specifications on the individual agent level. To leverage the efficiency of task allocation, a heuristic filter evaluates potential task allocation based on STL robustness. Subsequently, an auctioning algorithm determines the definite allocation of specifications. Fi…

Meine Frau hat mir ein äusserst edles Geburtstagsgeschenk gemacht #övlife #bahn #SBBCFFFFS

Eisenbahnbrücke bei Elsfleth: Zeitplan für Reparatur soll kommen
Nach dem Schiffsunfall an der Bahnbrücke über die Hunte in Elsfleth sind Zug- und Schiffsverkehr unterbrochen. Die Bauarbeiten sollen schnellstmöglich beginnen. Zunächst wird der Schaden begutachtet.

"Katastrophe für die Häfen": Schiff rammt Huntebrücke bei Elsfleth - Wochenlang können keine Züge fahren
Nach dem Schiffsunfall an der Bahnbrücke über die Hunte in Elsfleth sind Zug- und Schiffsverkehr unterbrochen. Die Bauarbeiten sollen schnellstmöglich beginnen. Zunächst wird der Schaden begutachtet.

The siren song of domain-specific languages #DSL
https://www.haskellforall.com/2024/02/the-siren-song-of-domain-specific.html

Newspapers are being “disgusted” by the olympics kits using a modified Union Flag design, using pink/purple shades.
But, in a twist, there are no official (or at least public) specifications for the flag as national flag, and no exact specification of colours. Apparently there is an “Order in Council” (specifying colours as “azure", “argent", “gules”) but it's not on legislation.gov.uk.
(A "Union Flag Bill” proposed in 2008 would have specified the flag.)

This https://arxiv.org/abs/2404.00762 has been replaced.
link: https://scholar.google.com/scholar?q=a

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
Formal verification provides a rigorous and systematic approach to ensure the correctness and reliability of software systems. Yet, constructing specifications for the full proof relies on domain expertise and non-trivial manpower. In view of such needs, an automated approach for specification synthesis is desired. While existing automated approaches are limited in their versatility, i.e., they either focus only on synthesizing loop invariants for numerical programs, or are tailored for specifi…