2514 search results - page 47 / 503 » The use of industrial-strength formal methods |
122
Voted
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
124
click to vote
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
ECBS
2008
IEEE
15 years 8 months ago
2008
IEEE
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
133
click to vote
MEMOCODE
2003
IEEE
15 years 7 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...
130
click to vote
APSEC
2009
IEEE
14 years 11 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...