382 search results - page 2 / 77 » Tutorial on Model Checking: Modelling and Verification in Co... |
SPIN
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Presentation
Very easy to read tutorial about geometric modeling, 3D widget, and interaction in VTK.
VMCAI
2010
Springer
14 years 3 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
TCAD
2008
13 years 5 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
GI
2009
Springer
13 years 3 months ago
2009
Springer
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...