ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

Collections
Education
Technology
Economy
Mathematics
Research
Social Sciences
Architecture and Urbanism
Computing
Physical
Pure sciences
all records (72)

Languages
English
Spanish
Portuguese

Countries
Indonesia
Brazil
USA
Ukraine
Spain
South Africa
Colombia
Mexico
Austria
Italy
all records (72)

Years
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
all records (24)

Filter  
 
180.887  Articles
1 of 18.090 pages  |  10  records  |  more records»
One of the most major advantages of Model checking over other formal methods of verification, its ability to generate an error trace in case of a specification falsified in the model. We call this trace a counterexample. However, understanding the counter... see more

A unified modelling language (UML) based formal verification methodology that can be easily integrated into an embedded system software development life cycle is suggested. The approach augments UML diagrams with formal models through an interfacing domai... see more

??????????? ?????????? ?????? ???????????????? ??????? ??????????? ???-???????? ?? ?????? ?????????? ???????????? ?????? TLA. ?? ????????? ??????? ????????? ??????????? TLA-???????????? ???????????? ???-??????? ? ?????????? ??????? ? ?????????????????? ??... see more

Triangle’s checking in 3D faceted models is an essential step in gouging detection and elimination process. To check whether model surface intersects the tool, every triangle in the model has to be checked. Unfortunately, this process takes much time. S... see more

The integrated communication infrastructure is the core of the Smart Grid architecture. Its two-way communication and information flow provides this network with all needed resources in order to control and manage all connected components from the utility... see more

The characteristics of three popular model checking tools called SPIN, UPPAAL and NuSMV respectively, are compared and analyzed to determine which type of systems is propitious to be described. And a distributed elevator system model is built, whose relat... see more

It is widely accepted that the key to successfully developing a system is to produce a thorough system specification and design. This task requires an appropriate formal method and a suitable tool to determine whether or not an implementation conforms to ... see more

The features of a logically sound approach to a theory of statistical reasoning are discussed. A particular approach that satisfies these criteria is reviewed. This is seen to involve selection of a model, model checking, elicitation of a prior, checking ... see more

Indonesia was currently fighting disinfodemic COVID-19. During this situation, several hoaxes related to COVID-19 were circulating. Of course, the hoax news makes people even more worried and afraid. One way to prove the facts in that news is through a fa... see more

1 of 18.090 pages  |  10  records  |  more records»