Buscar
Mostrando ítems 1-10 de 5213
Business Process Veri cation: The Application of Model Checking and Timed Automata
(Centro Latinoamericano de Estudios en Informática, 2014)
A TOOL BASED ON DL FOR UML MODEL CONSISTENCY CHECKING
(WORLD SCIENTIFIC PUBL CO PTE LTD, 2008-09)
Automated consistency checking of UML models becomes necessary as models grow in
size and complexity. Since the UML metamodel does not enforce model consistency,
there are no fixed guidelines on how to approach the ...
U.S. check history and structure from 1984 to 2008
(El Autor, 2019)
Model checking LTL formulae in RAISE with FDR
(Scopus, 2009)
TheRaise SpecificationLanguage (RSL) is a modeling languagewhich supports various specification styles. To apply model checking to RSL concurrent descriptions, we translate RSL specifications into the input language CSPM ...
Reality check for volatility models
(Escola de Pós-Graduação em Economia da FGV, 2001-09-27)
Asset allocation decisions and value at risk calculations rely strongly on volatility estimates. Volatility measures such as rolling window, EWMA, GARCH and stochastic volatility are used in practice. GARCH and EWMA type ...
Model-Checking on Ordered Structures
(ACM, 2020)
We study the model-checking problem for first- and monadic second-order logic on finite relational structures. The problem of verifying whether a formula of these logics is true on a given structure is considered intractable ...