lack funding and are being developed thanks to the collaboration of undergraduate
students, and graduates students. We are convinced that many of these
projects would have commercial viability if they could be developed with
universities or any kind of institutions willing to fund any of our projects
Please, contact us!! firstname.lastname@example.org
is Lisex's successor. It incorporates a MLS model clearly different
and superior than Lisex's. It will be developed with Linux and Coq.
MLS, multi-level security, Linux, Coq, formal methods
operating system based on Linux. Coq, formal verification of the model,
specification-based testing, are among the techniques used for this
project. A GPL licensed prototype is for public release.
: MLS, multi-level security, Linux, Coq, formal methods
tool to be used for formal specification-based testing. A system specification
is written in a Z-like formal language, then it is translated to Coq,
and finally some algorithms are executed to extract many model-level
test cases. A second module maps these test cases to the implementation
level, and a test driver executes the program getting its outputs.
Then, inputs and outputs are compared using the specification as an
: testing, specification-based testing, Z, Coq, functional
testing, formal specification
tool to assist the testing activity. It implements data-flow testing
criteria. Programs to be tested may contain arrays. Although it
currently only works with Cobol, it is designed to support any imperative
programming language. A GUI has been developed to help the engineering
in selecting inputs in order to verify standardized white-box testing
testing, structural testing, data-flow, COBOL
of our members are participating or
have participated in R+D projects or consulting activities at
the institutions listed below. All the activities involved either
Formal Methods or Computer Security.
- Stevens Institute of Technology (USA)
- Universidade Nova de Lisboa (Portugal)
- ATX Software (Portugal)
- Oblog (Portugal)
- Uruguay Presidency
- IPcom S.A. (Uruguay)
- Pragma Consultores (Argentina)
- Neoris Argentina (ex Amtec)
2003 por Grupo Gidis. Todos los derechos reservados.
Sitio diseñado por: Lorena