• Automated verification of software 

      Šerý, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 24. 9. 2010
      Despite the research e ort being invested into the eld of automated veri cation of software, its adoption in industry is still rather slow. Several reasons for this hesitation may be identi ed. The thesis focuses on the ...
    • Model Checking and Reduction of Behavior Protocols 

      Šerý, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
      Date of defense: 2. 4. 2011
      Behavior protokol je formalismus pro specifikaci chování softwarových komponent. V syntaxi podobné regulárním výrazům jsou definovány přípustné sekvence volání metod, přičemž se abstrahuje od vnitřních dat komponent. Jde ...
    • Model Checking and Reduction of Behavior Protocols 

      Šerý, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
      Date of defense: 22. 5. 2006
      Behavior protocol is a formalism used for behavior specification of software components. In a regular-expression like syntax, admissible sequences of method invocations are specified abstracting from components' ...

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: admin-repozitar [at] cuni.cz

      Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

      Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

      DSpace software copyright © 2002-2015  DuraSpace
      Theme by 
      @mire NV