Sciweavers

11436 search results - page 164 / 2288
» Modeling Real Reasoning
Sort
View
ISORC
2005
IEEE
15 years 8 months ago
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
Zonghua Gu, Kang G. Shin
CHARME
2005
Springer
128views Hardware» more  CHARME 2005»
15 years 8 months ago
Real-Time Model Checking Is Really Simple
Leslie Lamport
EUROPKI
2005
Springer
15 years 8 months ago
Modeling Public Key Infrastructures in the Real World
John Marchesini, Sean W. Smith