Successfully reported this slideshow.
Your SlideShare is downloading.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

3

Share

Download Now Download

Download to read offline

VerifiQua

Download Now Download

Download to read offline

Related Books

Free with a 30 day trial from Scribd

See all

Related Audiobooks

Free with a 30 day trial from Scribd

See all
  • Be the first to comment

VerifiQua

  1. 1. Kamil Ježek Lukáš Holý
  2. 2. 75% programs contain static errors Did you know?
  3. 3. 51% developers unfamiliar with problem Did you know?
  4. 4. Research in field Kamil Ježek Lukáš Holý Přemek Brada University of West Bohemia in Pilsen
  5. 5. Static Error LineIterator it = ... String line = it.next(); class LineIterator { Object next(); }
  6. 6. Global Opportunity € 160 millions / year
  7. 7. Automatic static problems detection Verification Report
  8. 8. Pricing 2 GB 5 apps 10 GB 30 apps 30 GB 100 apps € 40 € 300 € 500 Local Custom
  9. 9. Pilot Openmatics (ZF), 2012-now ▪ Problem detection worth 5000 € / year ▪ Custom product, paid 7000 € Application B Application A Platform
  10. 10. Global opportunity No automatic tool Currently expensive Opportunity
  11. 11. Investment € 250 000
  12. 12. Demo Application Server Report
  13. 13. Contact us Kamil Ježek kjezek@kiv.zcu.cz Lukáš Holý lholy@kiv.zcu.cz

    Be the first to comment

    Login to see the comments

  • JensDietrich

    Jun. 24, 2014
  • pbrada

    Oct. 1, 2014
  • raaraa

    Oct. 1, 2014

Views

Total views

589

On Slideshare

0

From embeds

0

Number of embeds

6

Actions

Downloads

2

Shares

0

Comments

0

Likes

3

×