Introducing Formal Verification with LEGO

Lawrence, David; Racordon, Dimitri; Colange, Maximilien; Hostettler, Steve; Linard, Alban; López Bóbeda, Edmundo; Marechal, Alexis; Risoldi, Matteo; Seldmajer, Nicolas; Buchs, Didier

by David Lawrence, Dimitri Racordon, Maximilien Colange, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal, Matteo Risoldi, Nicolas Seldmajer, Didier Buchs

View PDF

Reference:

Introducing Formal Verification with LEGO (David Lawrence, Dimitri Racordon, Maximilien Colange, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal, Matteo Risoldi, Nicolas Seldmajer, Didier Buchs), 2nd International Workshop Fun With Formal Methods, 2014.

Bibtex Entry:

@misc{lawrence2014lego,
  author = {Lawrence, David and Racordon, Dimitri and Colange, Maximilien and Hostettler, Steve and Linard, Alban and L\'{o}pez B\'{o}beda, Edmundo and Marechal, Alexis and Risoldi, Matteo and Seldmajer, Nicolas and Buchs, Didier},
  title = {{I}ntroducing {F}ormal {V}erification with {LEGO}},
  year = {2014},
  month = {July},
  address = {Vienna, Austria},
  howpublished = {2nd {I}nternational {W}orkshop {F}un {W}ith {F}ormal {M}ethods},
  url = {documents/fwfm_2014.pdf}
}