formal-methods

KTH Royal Institute of Technology DD2452

Formal methods.

This repository contains exercises in Frama-C and NuSMV.

Name	Name	Last commit message	Last commit date
Latest commit Skantz Update README.md Jun 12, 2020 0da0665 · Jun 12, 2020 History 56 Commits
README.md	README.md	Update README.md	Jun 12, 2020
device_driver_and_transmitter.smv	device_driver_and_transmitter.smv	3 extra	Oct 16, 2019
impossible_trace.txt	impossible_trace.txt	GLOBAAAL	Oct 15, 2019
simplified_tabs.c	simplified_tabs.c	Fixed a simpler version of the non-loop assignment, now with correcte…	Sep 18, 2019
simplified_tabs_loop.c	simplified_tabs_loop.c	Solved the special case version for the two assertions	Sep 18, 2019
tabs.c	tabs.c	Solved the first part of the first assignment/annotated a non-trivial…	Sep 14, 2019
tabs_loop.c	tabs_loop.c	Add the code for the second part of the first assignment/to do: loop …	Sep 14, 2019
tabs_loop_working_copy.c	tabs_loop_working_copy.c	Some invariants pass, can't get the second assertion	Sep 18, 2019
temperature_sensor.smv	temperature_sensor.smv	Better version but does not pass the last check	Sep 29, 2019

Provide feedback