The goal of the project is to provide a open-source JCA-compatible adapter for access to SAP business API and other SAP function calls. The adapter is aimed to be used in JEE (J2EE) environment and enables SAP EIS integration as a manageble resource. The adapter encapsulates SAP Java Connector (JCo)
... [More] and is limited to the functions supported by it. The main advantage of the adapter over the usage of JCo is support of J2EE-usual roles (developer, assembler, deployer). [Less]
The TLA+ Proof System (TLAPS) mechanically checks TLA+ proofs.
TLA+ is a general-purpose formal specification language that is particularly useful for describing concurrent and distributed systems. The TLA+ proof language is declarative, hierarchical, and scalable to large system specifications. It
... [More] provides a consistent abstraction over the various “backend” verifiers.
The current release of TLAPS does not perform temporal reasoning, and it does not handle some features of TLA+. [Less]