List Question
10 TechQA 2024-12-05 20:56:13Atelier B - Proof obligations of "H => vv$1 = vv$2" format for vv used in WHILE substitution
83 views
Asked by zb1225
Atelier B - Proving simple PO in the context of a loop
85 views
Asked by zb1225
Refinement of a B specification
90 views
Asked by user1797730
Is B-Method an alternative to traditional programming languages?
344 views
Asked by Alan_AI
How to generate random numbers from 1 to 6 using the B language
160 views
Asked by OshiniRB
Using the B-Method for structured data verification
57 views
Asked by Joolsy
Expressing rules in B-Method
111 views
Asked by Fred
Test a program in b language
202 views
Asked by richie-torres
AMN and math logic notation
199 views
Asked by webdreamer