Spin - Formal Verificationhttp://spinroot.com/spin/old.html
(new) The Minnesota Extensible Language Tools group (MELT), and specifically Eric Van Wyk (evw [atsign] cs.umn.edu) has made some very interesting extensions to the Promela langua
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
NLnet; All projectshttps://nlnet.nl/project/
Entrust 2023 All-libre extensible kit for school information systems AlekSIS: Integration and Communication NGI Zero Core 2025 SCIM, timetabes and other features for AlekSIS ALIAS
The Art of Unix Programminghttp://www.catb.org/esr/writings/taoup/html/
Protocol BEEP: Blocks Extensible Exchange Protocol XML-RPC, SOAP, and Jabber 6. Transparency Studying Cases Case Study: audacity Case Study: fetchmail's -v option Case Study: GCC
OS/Forthhttps://www.forth.org/svfig/osf.html
access models, is truly extensible, and is result oriented. It must be stated, however, that a Forth program becomes, in a unique way, very structured from the perspective of the
Hygiene for a computing pandemic: separation of VCs and ocaps/zcaps from Christopher Lemmer Webber on 2020-12-05 (public-credentials@w3.org frhttps://lists.w3.org/Archives/Public/public-credentials/2020Dec/0028.html
with >>> extensible and separable semantics for the data conveyed inside that >>> container then we have a very high degree of reuse of tooling. This fosters >
Find more...