Essays about: "Model checking"
Showing result 1 - 5 of 140 essays containing the words Model checking.
-
1. Method and Tooling for Automated Conformance Checking between Architecture - design and Implementation
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : Many software and/or automotive companies use UML models to write the requirements and later they are implemented by coding. Involving multiple engineers from different teams makes the whole process complex and cumbersome. READ MORE
-
2. SeqLTL and ωLTL
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. READ MORE
-
3. What are the odds of civil war? Investigating the relationship between quality of government, voter turnout, civil war, and the Democratic peace theory
University essay from Göteborgs universitet/Institutionen för globala studierAbstract : The aim of this thesis is to quantitatively investigate the relationship between the quality of government, voter turnout, and civil war. By doing a hypothesistesting analysis through logistic regression. READ MORE
-
4. Probabilistic guarantees in model-checking with Time Petri Nets
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. READ MORE
-
5. The Impact of the Retrieval Text Set for Text Sentiment Classification With the Retrieval-Augmented Language Model REALM
University essay from KTH/Matematik (Inst.)Abstract : Large Language Models (LLMs) have demonstrated impressive results across various language technology tasks. By training on large corpora of diverse text collections from the internet, these models learn to process text effectively, allowing them to acquire comprehensive world knowledge. READ MORE