195 search results - page 10 / 39 » Efficient Model Checking of PSL Safety Properties |
101
click to vote
SIGSOFT
2006
ACM
16 years 12 days ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
149
Voted
SCN
2011
Springer
14 years 6 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
80
Voted
TCAD
2010
14 years 6 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
DSN
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
109
click to vote
RTS
2006
14 years 11 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...