software-validation

There are 6 repositories under software-validation topic.

  • lisa-analyzer/lisa4ros2

    Language:Java2100

  • mohammedhassan9748/Embedded-Diploma

    The Learn In Depth Embedded Diploma enhanced my expertise in C programming, Embedded C, microcontroller peripherals like GPIO, UART, SPI, I2C, TIMERS, and ADC. Additionally, I gained proficiency in automotive communication protocols such as CAN and Ethernet. Developed Linker scripts, Startup code, Makefiles, and RTOS custom scheduler from scratch.

    Language:C2100

  • cluebbers/Reproducibility-METEOR-NLP

    Investigates the reproducibility of METEOR scores in scientific papers. Includes a systematic literature review and validation of METEOR implementations.

    Language:Jupyter Notebook1140

  • PosteruOle/2023_Analysis_Compound_Unit

    This repository contains an analysis of a Compound Unit student project. Analysis was done using tools for static and dynamic software verification. The repository is created for the purpose of Software Verification master's studies course at the Faculty of Mathematics.

    Language:HTML0100

  • tomas-dias/msc-sweng

    Projects and assignments done during Master's Degree course in Informatics Engineering, with specialisation in Software Engineering, at Faculty of Sciences of the University of Lisbon.

    Language:Java0200

  • wojciech11/se_intro_test_engineering

    Kurs jedno semestralny wprowadzający do testowania i walidacji oprogramowania

    Language:JavaScript10