Software and Computational Systems Lab at LMU Munich

Software Verification, SAT & SMT solving

Technologies

python
javascript
java

Topics

software analysis
software verification
benchmarking
smt solver
result presentation
program analysis
formal methods
SAT & SMT solving
https://www.sosy-lab.org/
Email

Projects

Contributor

Lokesh Kishor Nandanwar

Upgrade of AngularJS, Refactoring UI and automated testing for CPAchecker.

CPAchecker Project - Upgrade of AngularJS and other third-party libraries used. Refactoring of User Interface Writing automated tests for unit...

View project detailsView code