Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mindly.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Mindly.Social is an English speaking, friendly Mastodon instance created for people who want to use their brains and their hearts to make social networking more social. 🧠💖

Administered by:

Server stats:

1.2K
active users

mindly.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#mas

1 post1 participant0 posts today
Public
DionyZack 🍉✊🏽♀️🇳🇨

🕸glané sur le net🕸 Bolivie : l'autodestruction du MAS: L'autodestruction du Mouvement vers le socialisme (MAS) bolivien en raison de la lutte entre ses deux dirigeants, Evo Morales [président de l'Etat plurinational de Bolivie de janvier 2006 à novembre 2019, et président du MAS de 1997 à novembre 2024] et Luis Arce Catacora [président depuis le 8 (…)
-- Bolivie, MAS (Bolivia / Bolivie), Crise… europe-solidaire.org/spip.php? #Bolivie #MAS #EvoMorales #LuisArce #CrisePolitique

www.europe-solidaire.orgBolivie : l’autodestruction du MAS - Europe Solidaire Sans Frontières L'autodestruction du Mouvement vers le socialisme (MAS) bolivien en raison de la lutte entre ses deux dirigeants, Evo Morales [président de l'Etat (…)
Public
José A. Alonso

Can proof assistants verify multi-agent systems? ~ Julian Alfredo Mendez, Timotheus Kampik. arxiv.org/abs/2503.06812 #MAS #FormalVerification #LeanProver #Scala

arXiv.orgCan Proof Assistants Verify Multi-Agent Systems?This paper presents the Soda language for verifying multi-agent systems. Soda is a high-level functional and object-oriented language that supports the compilation of its code not only to Scala, a strongly statically typed high-level programming language, but also to Lean, a proof assistant and programming language. Given these capabilities, Soda can implement multi-agent systems, or parts thereof, that can then be integrated into a mainstream software ecosystem on the one hand and formally verified with state-of-the-art tools on the other hand. We provide a brief and informal introduction to Soda and the aforementioned interoperability capabilities, as well as a simple demonstration of how interaction protocols can be designed and verified with Soda. In the course of the demonstration, we highlight challenges with respect to real-world applicability.
ExploreLive feeds
About