D3S Formal Methods Group (@d3sformal)
Guthub

d3sformal

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    20
  • Global Org. Rank 118,719 (Top 38 %)
  • Registered over 10 years ago
  • Most used languages
    Java
         50.0 %
    C++
         16.7 %
    C#
         16.7 %
    TeX
         16.7 %
  • Location 🇨🇿 Czechia
  • Country Total Rank 2,398
  • Country Ranking
    TeX
         228
    C#
         252
    Java
         351
    C++
         603

Top repositories

1

weverca

Web verification for PHP
C#
9
star
2

jpf-inspector

A GDB-like debugger for programs running under Java Pathfinder
Java
3
star
3

yaga

C++
3
star
4

panda

Panda: Predicate Abstraction in Dynamic Analysis
Java
3
star
5

ingrid-paper

TeX
1
star
6

buben

Java
1
star