Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab TJT: Temporal Java Testing TJT is a tool for testing real Java programs using temporal logic formulas (LTL). Website
TJT: Temporal Java Testing Read More »
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab TestelDroid TestelDroid is a monitoring software tool for Android based devices which enables the characterization of data communications in cellular networks. The information retrieved can be logged and exported for further analysis with other tools, such as Wireshark. All the collected data can be logged using
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab A simulation tool for tccp programs This tool is an interpreter for simulating tccp programs. The tool accepts as an input a tccp program with linear constraints over arithmetic variables, and logic constraints over streams. A stream can store text or linear expressions over
A simulation tool for tccp programs Read More »
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab PolicyMod PolicyMod, a tool to define management policies that can be simulated with BeDam. The objective of PolicyMod is to support expert managers to produce new policies to control dams, which can be executed by BeDam simulation mode. The tool allows the user to
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab PerformLTE PerformLTE is a realistic environment composed of radio access equipment (eNodeBs), commercial user equipment (UE) and core networks (EPC) connected to the public Internet. The set of platforms includes software tools for configuration, monitoring and performance analysis. This testbed is suitable for executing
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab OptySim OptySim is a tool for the analysis and optimization of heterogeneous systems whose behaviour can be observed as execution traces. OptySim shares a common ancestor with TJT, a tool for testing Java programs using LTL. Features Based on the Spin model checker. Analyzes systems observed as
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab DamMod The objective of DamMod is to support formal modelling specialized users in producing new dam models that can be loaded by tool BeDam. To use DamMod, it is necessary to know the internal structure and architecture of BeDam. In consequence, the expected users of the
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab AlphaSPIN alphaSPIN is a XML-based tool for obtaining abstract versions from models written in PROMELA, which can be verified with the model checker SPIN. Website
