sci-mathematics/tlc4b
Model-check classical B specifications by translating them to TLA+
Screenshots
-
tlc4b-1.2.3~amd64verify-sig
View 
Download 
Browse License: EPL-1.0 Overlay: eventb-rossi
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.