Skip to content
/ acsl-proved Public

Fully proved small C functions (examples for verification course).

16 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

evdenis/acsl-proved

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

63 Commits
abs.jessie
abs.jessie
 
 
abs_impletentation.jessie
abs_impletentation.jessie
 
 
array_average.jessie
array_average.jessie
 
 
array_max.jessie
array_max.jessie
 
 
array_sum.jessie
array_sum.jessie
 
 
arrays_average.jessie
arrays_average.jessie
 
 
arrays_sum.jessie
arrays_sum.jessie
 
 
average.jessie
average.jessie
 
 
average_smart.jessie
average_smart.jessie
 
 
binary_search.jessie
binary_search.jessie
 
 
different_array_iterators.jessie
different_array_iterators.jessie
 
 
distance.jessie
distance.jessie
 
 
distance_abs.jessie
distance_abs.jessie
 
 
factorial.jessie
factorial.jessie
 
 
factorial_rec.jessie
factorial_rec.jessie
 
 
fib_rec.jessie
fib_rec.jessie
 
 
gcd.jessie
gcd.jessie
 
 
lower_bound.jessie
lower_bound.jessie
 
 
max_in_array_even.jessie
max_in_array_even.jessie
 
 
max_max.jessie
max_max.jessie
 
 
max_max_simplified.jessie
max_max_simplified.jessie
 
 
max_min.jessie
max_min.jessie
 
 
max_min_in_array_odd_even.jessie
max_min_in_array_odd_even.jessie
 
 
min_min.jessie
min_min.jessie
 
 
not_proved
not_proved
 
 
palindrome.jessie
palindrome.jessie
 
 
reverse.jessie
reverse.jessie
 
 
reverse_in_place.jessie
reverse_in_place.jessie
 
 
set_even.jessie
set_even.jessie
 
 
set_odd.jessie
set_odd.jessie
 
 
set_odd_even_skip.jessie
set_odd_even_skip.jessie
 
 
set_only_third.jessie
set_only_third.jessie
 
 
set_skip_third.jessie
set_skip_third.jessie
 
 
sign.jessie
sign.jessie
 
 
sum.jessie
sum.jessie
 
 
sum35.jessie
sum35.jessie
 
 
whole_program.jessie
whole_program.jessie
 
 
.gitignore
.gitignore
 
 
Makefile
Makefile
 
 
README.md
README.md
 
 
abs.c
abs.c
 
 
abs_impletentation.c
abs_impletentation.c
 
 
acsl-tasks.md
acsl-tasks.md
 
 
array_average.c
array_average.c
 
 
array_max.c
array_max.c
 
 
array_sum.c
array_sum.c
 
 
arrays_average.c
arrays_average.c
 
 
arrays_sum.c
arrays_sum.c
 
 
average.c
average.c
 
 
average_smart.c
average_smart.c
 
 
binary_search.c
binary_search.c
 
 
distance.c
distance.c
 
 
distance_abs.c
distance_abs.c
 
 
factorial.c
factorial.c
 
 
factorial_rec.c
factorial_rec.c
 
 
fib_rec.c
fib_rec.c
 
 
gcd.c
gcd.c
 
 
lower_bound.c
lower_bound.c
 
 
max_in_array_even.c
max_in_array_even.c
 
 
max_max.c
max_max.c
 
 
max_max_simplified.c
max_max_simplified.c
 
 
max_min.c
max_min.c
 
 
max_min_in_array_odd_even.c
max_min_in_array_odd_even.c
 
 
min_min.c
min_min.c
 
 
palindrome.c
palindrome.c
 
 
reverse.c
reverse.c
 
 
reverse_in_place.c
reverse_in_place.c
 
 
set_even.c
set_even.c
 
 
set_odd.c
set_odd.c
 
 
set_odd_even_skip.c
set_odd_even_skip.c
 
 
set_only_third.c
set_only_third.c
 
 
set_skip_third.c
set_skip_third.c
 
 
sign.c
sign.c
 
 
sum.c
sum.c
 
 
sum35.c
sum35.c
 
 

Repository files navigation

acsl-proved

Fully proved small C functions (examples for verification course).

About

Fully proved small C functions (examples for verification course).

Topics

c proofs formal-verification acsl frama-c

Resources

Readme
Activity

Stars

16 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages