WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/1193151372

Tools for practical software verification LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures

The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers.LASER 2011 is devoted to software verification tools. There have been great advances in the field of software verification in recent years. Today verification tools are being increasingly used not only by researchers, but by programming practitioners. The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "LASER, International Summer School 2011"
  • "LASER, International Summer School 2011"@en

contributor

creator

description

http://schema.org/description

  • "The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers.LASER 2011 is devoted to software verification tools. There have been great advances in the field of software verification in recent years. Today verification tools are being increasingly used not only by researchers, but by programming practitioners. The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs."
  • "The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers.LASER 2011 is devoted to software verification tools. There have been great advances in the field of software verification in recent years. Today verification tools are being increasingly used not only by researchers, but by programming practitioners. The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs."@en
  • "The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers. LASER 2011 is devoted to software verification tools. There have been great advances in the field of software verification in recent years. Today verification tools are being increasingly used not only by researchers, but by programming practitioners. The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs."

genre

http://schema.org/genre

  • "Kongress"
  • "Electronic books"
  • "Electronic books"@en
  • "Conference papers and proceedings"
  • "Conference papers and proceedings"@en
  • "Ressources Internet"
  • "Conference proceedings"
  • "Online-Publikation"

name

http://schema.org/name

  • "Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures"
  • "Tools for practical software verification : LASER, international summer school 2011, Elba Island, Italy ; revised tutorial lectures"
  • "Tools for practical software verification LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures"
  • "Tools for practical software verification LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures"@en
  • "Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures"@en
  • "Tools for practical software verification LASER, international summer school 2011, Elba Island, Italy ; revised tutorial lectures"

workExample