Email Gateway (Aug 18 2022 at 10:18): Email Gateway (Aug 18 2022 at 10:18):From: Jens Doll <jd@cococo.de>
Good afternoon,
after having registered to this list a few days ago, I'd like to give a
short impression of my project and goals. I develop QA software for big
machines. The main product Columbo is a falsifier for COBOL programs, and
is intended to be used in the development process of database applications
and by QA personal. It is based on formal methods and is in the prototype
status. 3 years ago I started with an Isabelle user manual ...
Jens Doll
Last updated: Nov 21 2024 at 12:39 UTC