Filters
Bounded Model Checking Using Java PathFinder
This work describes the using of bounded model checking for verification of the true races in programs. The model checking of a real system is costly, thus there are some modification or alternations of model
JC - Počítačový hardware a software
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Local Quantitative LTL Model Checking
the global model checking point of view. In the global model-checking, the goal, in local model checking approach the probability of satisfaction is computed only checkingproblem using the global...
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Checking the model for dynamic disordering in CuAu
Checking the model for dynamic disordering in CuAu.
BM - Fyzika pevných látek a magnetismus
- 2001 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Parallel Model-Checking
A summary of methods and techiques for parallel and distributed model checking of LTL formulae is given.
IN - Informatika
- 2004 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Cut-offs and Automata in Formal Verification of Infinite-State Systems
checking (especially the so-called regular model checking). The thesis is based model checking combining regular model checking with the counterexample-guided model checking...
JC - Počítačový hardware a software
- 2007 •
- B
Rok uplatnění
B - Odborná kniha
Modeling of Masonry arch Brodges-Checking Nonlinear Model Mostar on Masonry Arcs
Modeling of Masonry arch Brodges-Checking Nonlinear Model Mostar on Masonry Arcs...
JM - Inženýrské stavitelství
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
Model checking in IPv6 Hardware Router Design
This report contains information about the model checking method of formal verification and the first steps of using this method in the project of IPv6 hardware router. Moreover, an overview of some model checking ...
JC - Počítačový hardware a software
- 2002 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Model Checking application on Function Block Diagram model
Model Checking represents a mathematical method of formal verification which can prove that model satisfies its specified requirements. This article describes an approach that utilizes Function Block Diagram (FBD) model...
Automation and control systems
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Model Checking of Component Behavior Specification: A Real Life Experience
Model Checking of Component Behavior Specification: A Real Life Experience...
JC - Počítačový hardware a software
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
First Approach to Model Checking in Object-Oriented Petri Nets
Model checking is a technique for automatic system analysis. It usually consists of three tasks: system modelling, property specification, and automatic be found a small introduction to model checking, des...
JC - Počítačový hardware a software
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 174 505