List Question
10 TechQA 2023-01-06 13:57:00Atelier B - Proof obligations of "H => vv$1 = vv$2" format for vv used in WHILE substitution
96 views
Asked by zb1225
Atelier B - Proving simple PO in the context of a loop
100 views
Asked by zb1225
Refinement of a B specification
112 views
Asked by user1797730
Is B-Method an alternative to traditional programming languages?
359 views
Asked by Alan_AI
How to generate random numbers from 1 to 6 using the B language
178 views
Asked by OshiniRB
Using the B-Method for structured data verification
74 views
Asked by Joolsy
Expressing rules in B-Method
128 views
Asked by Fred
Test a program in b language
217 views
Asked by richie-torres
AMN and math logic notation
217 views
Asked by webdreamer