Towards the formal verification of maintainer scripts
from DebConf 16 Hosted by DebConf 16
by Ralf Treinen At: Debconf 16 video RSS feed https://debconf16.debconf.org/talks/63/ This talk describes a recently started research project named [http://colis.irif.univ-paris-diderot.fr/ Colis] with the goal of developing techniques and tools...
Embed this episode
No transcript yet.
Frequently asked questions
When was this DebConf 16 episode published?
This episode was published on July 7, 2016.
Can I download this DebConf 16 episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.