1397 search results - page 20 / 280 » On the Need for Practical Formal Methods |
133
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
140
Voted
DAC
2008
ACM
16 years 5 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
133
Voted
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Electronic control units and on-board networks for automotive applications cover a big variety of functions that in many cases are responsible of safetycritical behavior of the ve...
130
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
143
click to vote
EUROCAST
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper presents a new general method for obstacle representation in the configuration space (C-space) for redundant robots. The method is based on the analytical dec...