746 search results - page 88 / 150 » Formal Analysis of UML-Based Designs |
142
click to vote
ASPDAC
2001
ACM
15 years 5 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
136
click to vote
RE
2010
Springer
14 years 8 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
JOT
2010
15 years 10 days ago
2010
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
127
click to vote
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
129
click to vote
ECLIPSE
2006
ACM
15 years 8 months ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...