Search:
All of the words: Any of the words: Exact phrase: Partial phrase: Regular expression:	any fieldtitleauthorskeywordspublication dateInstitutiondocument typeconference titleISBN/ISSNproject numberfulltextrecord ID	AND OR AND NOT
All of the words: Any of the words: Exact phrase: Partial phrase: Regular expression:	any fieldtitleauthorskeywordspublication dateInstitutiondocument typeconference titleISBN/ISSNproject numberfulltextrecord ID	AND OR AND NOT
All of the words: Any of the words: Exact phrase: Partial phrase: Regular expression:	any fieldtitleauthorskeywordspublication dateInstitutiondocument typeconference titleISBN/ISSNproject numberfulltextrecord ID
Search Tips :: Simple Search

Search collections: *** any public collection ***AgritecAgrotest fyto, s.r.o.Agrovýzkum Rapotin Ltd.Academy of Performing Arts in ...Academy of Fine Arts in PragueAnalytical and methodological ...AnalysisInstitute of Archaeology, BrnoInstitute of Archaeology, Prag...Architectural Institute in Pra...Archiv ing. arch. Jana MoučkyArnikaCzech Water AssociationAstronomical InstituteAuthor worksBachelor's thesesBanksPersonal bibliographiesInstitute of BiophysicsBiology CentreInstitute of BiotechnologyInstitute of BotanyBrochuresNewslettersCENIATransport Research CentreCentre for Transport and Energ...The Centre for Regional Develo...Centre for Higher Education St...Global Change Research Institu...Czech Association of Occupatio...Czech Paraplegic AssociationThe Czech National BankCzech Council of Children and ...Czech Society for OrnithologyCzech University of Life Scien...Czech Technical University in ...Czech Statistical OfficeCESNETTravel reportsHop Research InstitutePeople in Need Czech RepublicdataNational Repository of Grey Li...Master’s thesesDoctoral thesesdoc. RNDr. Jiří Souček, DrSc.EkodomovInstitute of EntomologyInstitute of EthnologyEuropean Values o.s.Fairtrade Czech Republic & Slo...Charles University Faculties (...Institute of PharmacologyInstitute of PhilosophyTrade literatureTrade printInstitute of PhysicsInstitute of PhysiologyGalleriesThe Gallery of Graphic Arts in...Gender Studies, o.p.s.Institute of GeophysicsDepartment of Geography, Masar...Institute of Geology GLE o.p.s.Grant reportsHabilitation thesesHESTIAInstitute of HistoryInstitute of HydrobiologyThe Arts and Theatre InstituteIuridicum RemediumUniversity of South Bohemia in...South Moravian Museum in Znojm...Product cataloguesExhibition cataloguesDepartment of Social Geography...Library of the ASCRLibrariesConference materialsCultureFlyersLiterary Academy (Internationa...The Map Collection at Charles ...Masaryk UniversityMasaryk Institute and Archives...Institute of MathematicsMendel University in BrnoMethodsInstitute of MicrobiologyMinistriesMinistry of DefenceMinistry of JusticeMinistry of the EnvironmentMonographsThe Moravian Gallery in BrnoMoravian LibraryMuseumsMuseum of the Brno RegionMuseum of Glass and Jewellery ...Museum of Eastern Bohemia in H...Karel Komárek Proměny Foundati...National archivesNational Film ArchiveThe National Stud at Kladruby ...Nati­o­nal Infor­mation and Co...National Library of the Czech ...National Medical LibraryNational MuseumNational Heritage InstituteNational Library of TechnologyNational technical museumNational Institute of Folk Cul...National Institute for Educati...The National Museum of Agricul...National Open-Air MuseumEconomics InstituteNonprofit organizationsOriental InstituteOSEVA Development and Research...Personal archivesMiscellaneousUniversity of OstravaThe Museum of Czech LiteratureInstitute of ParasitologyParliamentary InstituteBiographiesPortfóliaPostersPostprintsPrague CollegePreprintsPapersProgrammesPromotional and educational ma...Progress reportsExhibition guidesInstitute of PsychologyReviewsRigorous thesesProceedingsAssociation for Integration an...The North Bohemian Museum in L...SIRIRIUniversities and collegesSilesian University in OpavaThe Silesian MuseumInstitute of Slavonic StudiesInstitute of SociologyInstitute of Sociology (CVVM)Private collegesSpecialized departmentsCzech Radioactive Waste Reposi...Statistical reportsAdministrationState Office for Nuclear Safet...Czech Agriculture and Food Ins...StudiesTechnical Museum in BrnoTechnical reportsTechnology CentreThematic collectionsPress releasesThe Museum of Decorative Arts ...University of Hradec KrálovéJan Evangelista Purkyně Univer...Charles UniversityPalacký University OlomoucUniversity of PardubiceIndustrial Property Office of ...Institute of Analytical Chemis...Institute of Inorganic Chemist...Institute of Archeological and...Institute of Vertebrate Biolog...Institute of Chemical Process ...Institute of Art HistoryInstitute of Experimental Bota...Institute of Experimental Medi...Institute of Photonics and Ele...J. Heyrovsky Institute of Phys...Institute of Physical Engineer...Institute of Atmospheric Physi...Institute of Physics of Materi...Institute of Plasma PhysicsInstitute of GeonicsInstitute of Computer ScienceNuclear Physics InstituteInstitute of Macromolecular Ch...Institute of Plant Molecular B...Institute of Molecular Genetic...Institute of Organic Chemistry...Institute of Scientific Instru...Institute of Czech LiteratureInstitute of Art History, Char...Institute of Electrical Engine...Institute of HydrodynamicsInstitute of the Czech Languag...Institute for Classical Studie...Institute of Contemporary Hist...The Institute for the Study of...Institute of Soil BiologyInstitute of Slavonic-German S...Institute of State and LawInstitute of Rock Structure an...Institute of Theoretical and A...Institute of Information Theor...Institute of ThermomechanicsInstitute of Animal Physiology...Institutes ASCRResearchPublic universitiesGazettesResearch Institute of Geodesy,...Scientific research institutio...Annual reportsUniversity of Chemistry and Te...University of Economics, Pragu...The College of European and Re...The University of Finance and ...College of Information Managem...UniversitiesBrno University of TechnologyAcademic theses (ETDs)Research institutesResearch reportsTimber Research and Developmen...Occupational Safety Research I...Forestry and Game Management R...Food Research Institute PragueResearch Institute for Labour ...Crop Research InstituteThe Silva Tarouca Research Ins...T. G. Masaryk Water Research I...WoodexpertUniversity of West Bohemia Westbohemian Museum in PilsenFinal reportsBiographiesReportsStatus reportsSurvey reports

Sort by: Display results: Output format: latest firstpublication dateauthorrecord ID asc.desc. - or rank by -word similarity 10 results25 results50 results100 results single listsplit by collection citaceHTML briefHTML brief + PSHHTML citesummaryMARCRefman RIS

National Repository of Grey Literature

1 records found

Search took 0.00 seconds.

Warning: Requested record does not seem to exist.

Applying formal methods to analysis of semantic differences between versions of software Nečas, František ; Vojnar, Tomáš (referee) ; Malík, Viktor (advisor) Cílem této práce je navrhnout integraci formálních metod pro DiffKemp, nástroj pro statickou analýzu sémantických rozdílů v rozsáhlých programech napsaných v jazyce C. Cílem tohoto rozšíření je umožnit analýzu složitějších změn, které by typicky byly analyzovatelné spíše nástroji založenými na formálních metodách, a zároveň zachovat škálovatelnost nástroje DiffKemp na velké projekty. Principem navrženého řešení je při analýze v případě nalezení možné sémantické změny zakódovat problém ekvivalence příslušných instrukcí jako instanci problému SMT. Tím je možné sémantický rozdíl potvrdit, nebo vyvrátit s pomocí SMT solveru. Navržené řešení bylo implementováno v nástroji DiffKemp a experimenty provedené na sadě programů zvané EqBench ukazují, že rozšiřuje schopnosti nástroje DiffKemp, převážně v oblasti přesné analýzy úprav aritmetických výrazů. Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.