Eu sei o que vai acontecer. Você sabe o que vai acontecer. Mas o meu nível de paciência hoje é um 'ok'.
#ModelChecking #MethodsFormal #Cybersecurity #ZenHacking #SoftwareEngineering
Apr 7
1
1
4
81
Aquela sensação quando o TLA te mostra que a invariante de segurança do protocolo "padrão de mercado" é quebrada com 3 transações simultâneas e uma condição de corrida que ninguém imaginava.
O segredo é manter a mística (e o meu Bug Bounty garantido)."
#MethodsFormals #TLAPlus #ModelChecking #SecurityResearch #ProtocolSecurity #MathDontLie
2
76
Happy to share that our paper titled "Model Checking of State Based Randomized Systems using Probabilistic Process Algebraic Tools" has been accepted at the 32nd International SPIN symposium on Model Checking of Software (SPIN 2026) #probabilistic #verification #modelchecking
3
75
1 Dec 2025
Want model checks that actually work in real AEC projects?
Learn directly from Ward Turkyeh of Solibri, who’s helped teams across EMEA build smarter, cleaner workflows.
📅 Dec 3 | 🕛 12 PM EST
Save your seat—free to join!
👉bit.ly/4isqx66
#BIM #AEC #ModelChecking
11
13
67
22 Apr 2025
📢 ADAPT is excited to invite expressions of interest for the #competitive & #career #enhancing 2-year European #Postdoctoral #Fellowships, a #HorizonEurope @MSCActions
Find out more: adaptcentre.ie/careers/msca-…
#Verification #FormalMethods #ModelChecking #DeductiveVerification #AIValidation #NeuralNetworkVerification #DifferentiableLogics #LogicInAI #VerifyThis #AITesting #SpecificationAndVerification #SafeAI #TrustworthyAI @WomenInResIE @thepostdoctoral @MaynoothUni
5
2
419
14 Feb 2025
🚀 Welcome to read and share this insightful paper "Verifying Mutual Exclusion Algorithms with Non-Atomic Registers" published in #Algorithms.
🔥 Author: Libero Nigro from University of Calabria
📖 Read via: mdpi.com/1999-4893/17/12/536
#mutualexclusionalgorithms #modelchecking
1
2
94
📣We are at the #NXTBLD and #NXTDEV2024 event!
Head to stand #12 and get first-hand experience of #Verifi3D, the #nextgen #modelchecker.
Drop a comment, if you are attending. We'd love to meet you!
#TeamXinaps #Lenovo #clashdetection #modelchecking #AEC #BIM #London
2
37
#Architecture is so much about #creativity and details! Curious how #Verifi3D can add value to your workflow and elevate your #modelchecking process to the next level?! Visit: rb.gy/jovjrm
#mondaymotivation #motivation #construction #technology
5
2
48
16 May 2024
The countdown to @DigiConWeek #DCW2024 is ticking!
Join @Solibri_UK_Ltd at stand #D650, beside @GRAPHISOFT & @Vectorworks on the @nemetschekgroup stand. Meet our UKI Team on June 5 & 6.
Dive into #ModelChecking, go #BeyondClash, and explore #QualityAssurance!
1
2
136
📣 Grab your free copy of “BIM Model Checking For Everyone”
Order your free copy today by visiting: bit.ly/3ROekvr
#BIM #AEC #modelchecking #construction #constructiontech #building #architecture #clashcheck #automation #Verifi3D
2
40
📣Last 3 spots available
Our next #Verifi3DAcademy session, "#BIM Model Checking Now", takes place on 23 November.
Students can attend for free. Get certified today!
For more details: rb.gy/4yl76n
#modelchecking #Verifi3D #AEC #construction #getcertified #learn
1
24
20 Nov 2023
Happy to share that our paper (@das_susmoy) titled "A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems" has been accepted at the The 39th ACM/SIGAPP Symposium On Applied Computing #verification #stochastic #modelchecking #logic #Markov
1
4
205
📣Limited spots available!
Our next #Verifi3DAcademy session, "#BIM Model Checking Now", takes place on 23 November.
Students can attend for free. Get certified today!
For more details: bit.ly/3u5zFrT
#modelchecking #Verifi3D #AEC #construction #getcertified #learn
2
52
📣Get certified today!
#Verifi3DAcademy's next session, "#BIM Model Checking Now", takes place on 23 November.
Students can attend for free. For more details: bit.ly/473YmmX
#modelchecking #Verifi3D #AEC #construction #getcertified #learn
2
47
📣 Are you headed to #LasVegas for this year's Autodesk University?!
Stop by booth #343 and say hi to our team!
More about #Verifi3D, visit: bit.ly/40czFm0
#construction #AEC #AU2023 #Autodeskuniversity #autodeskuniversity2023 #TeamXinaps #Xinaps #BIM #modelchecking
2
43
📣#Rotterdam, are you ready to take your #BIM model checking to the next level?
At @digiGOnu our booth #13 will be featuring #Verifi3D, the next-gen #modelchecking solution for #buildingdesign validation. Don't miss it! See you this 15-16 Nov. in WTC Rotterdam!
#digigoddays2023
2
161
11 Oct 2023
Happy to share that our paper (with @das_susmoy) titled "Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court" has been accepted @Data2ModelsBack (DATAMOD 2023) #Socialsequence #Interactionanalysis
#Modelchecking
#Temporalpatterns
#SupremeCourt
1
6
340
6 Oct 2023
Estoy preparando una charlita de #reinforcementlearning ... esta es la primera slide :P
#modelchecking #formalmethods
4 Oct 2023
En estos días he juntado suficiente conocimiento para dar una charla básica de Reinforcement Learning. Aviso por las dudas... :P
1
1
4
353
📣 Get your free copy: "The #BIM #ModelChecking Playbook"!
Hear from #AEC industry experts such as @Microsoft, @MaceGroup, @burohappold, @buildingSMARTIn, @ADSK_Construct and many more!
Get your copy: bit.ly/3F7yECe
#construction #contech #technology #architect #tech
1
2
200
📣Limited spots available!
Our next #Verifi3DAcademy session, "#BIM Model Checking Now", takes place on 13 October. Students can attend for free.
Get certified today! For more details: bit.ly/3F4mXfr
#modelchecking #Verifi3D #AEC #construction #getcertified #learn
1
6
225