141
click to vote
MEMOCODE
15 years 6 months ago
2003 IEEE 
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
129
click to vote
MEMOCODE
15 years 6 months ago
2003 IEEE 
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
119
click to vote
MEMOCODE
15 years 6 months ago
2003 IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
114
click to vote
MEMOCODE
15 years 6 months ago
2003 IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
120
click to vote
MEMOCODE
15 years 6 months ago
2003 IEEE 
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
|
Formal Methods