1472 search results - page 207 / 295 » On Model Checking Infinite-State Systems |
ACSD
2010
IEEE
14 years 11 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
114
click to vote
ECMDAFA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e...
115
click to vote
ICDCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
131
click to vote
COORDINATION
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...