Tag model-checking - Это страница 4 - GeneraCodice

Что доказывает, что две сложные программы эквивалентны?

https://www.generacodice.com/ru/articolo/2445902/что-доказывает-что-две-сложные-программы-эквивалентны
  model-checking  -  reference-request  -  proof-techniques  -  research
cs.stackexchange cs.stackexchange

Спин - формальная проверка

https://www.generacodice.com/ru/articolo/1773146/спин-формальная-проверка
  model-checking  -  spin
StackOverflow StackOverflow

Modeling a set of probabilistic concurrent processes

https://www.generacodice.com/ru/articolo/1621157/modeling-a-set-of-probabilistic-concurrent-processes
  formal-methods  -  model-checking  -  markov-chains
cs.stackexchange cs.stackexchange

Calculating probability of reaching state in DTMC

https://www.generacodice.com/ru/articolo/1620932/calculating-probability-of-reaching-state-in-dtmc
  model-checking  -  markov-chains  -  probability-theory
cs.stackexchange cs.stackexchange

Is model checking PSpace-hard *in formula size*?

https://www.generacodice.com/ru/articolo/1610978/is-model-checking-pspace-hard-in-formula-size
  complexity-theory  -  model-checking  -  linear-temporal-logic  -  parameterized-complexity
cs.stackexchange cs.stackexchange

Are two CCS processes equivalent with respect to weak bisimilarity if and only if they satisfy exactly the same set of HML formulas?

https://www.generacodice.com/ru/articolo/1610797/are-two-ccs-processes-equivalent-with-respect-to-weak-bisimilarity-if-and-only-if-they-satisfy-exactly-the-same-set-of-hml-formulas
  concurrency  -  model-checking  -  ccs  -  pi-calculus
cs.stackexchange cs.stackexchange

Negation of the semantics of the Until operator in LTL

https://www.generacodice.com/ru/articolo/1609448/negation-of-the-semantics-of-the-until-operator-in-ltl
  logic  -  semantics  -  model-checking  -  linear-temporal-logic  -  predicate-logic
cs.stackexchange cs.stackexchange

(Generally) How to specify asynchronous action with side effects using logic equations

https://www.generacodice.com/ru/articolo/1609055/generally-how-to-specify-asynchronous-action-with-side-effects-using-logic-equations
  logic  -  formal-methods  -  model-checking  -  software-verification
cs.stackexchange cs.stackexchange

Buchi automata in formal software verification

https://www.generacodice.com/ru/articolo/1606927/buchi-automata-in-formal-software-verification
  formal-methods  -  model-checking  -  formal-languages  -  formal-grammars  -  buchi-automata
cs.stackexchange cs.stackexchange

Model Checking CTL* algorithm

https://www.generacodice.com/ru/articolo/1606801/model-checking-ctl-algorithm
  model-checking
cs.stackexchange cs.stackexchange
Результаты найдены: 120
scroll top