issues
search
stanislaw
/
berlin-software-verification-meetup
Berlin Software Verification Meetup (Berlin, but online meetups are also planned, see the Program).
6
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Activity
#14
rsoeldner
opened
4 years ago
6
Meetup 4: Video
#13
stanislaw
closed
4 years ago
0
Meetup 4: archive in the program, add the papers
#12
stanislaw
closed
4 years ago
0
Program: indicate offline/online meetups
#11
stanislaw
closed
4 years ago
0
Meetup 4: MISRA C and its key role for the compliance to industrial safety standards
#10
stanislaw
closed
4 years ago
0
Video: Meetup 3
#9
stanislaw
closed
4 years ago
0
Slides: Meetup 3: "Building SW Everyone Can Trust"
#8
stanislaw
closed
4 years ago
0
README: add logo
#7
stanislaw
closed
4 years ago
0
Add logos
#6
stanislaw
closed
4 years ago
0
Thanks to our hosts
#5
stanislaw
closed
4 years ago
0
Meetup #2: video is published
#4
stanislaw
closed
4 years ago
0
Slides: Meetup #1 "Software Verification for Developers"
#3
stanislaw
closed
4 years ago
0
introduction to coq
#2
simpadjo
closed
4 years ago
1
README and PROGRAM: initial content
#1
stanislaw
closed
4 years ago
0