18 search results - page 2 / 4 » Experiences in Applying Formal Verification in Robotics |
ICTAC
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
The increasing number of launched satellites per year, calls for solutions to keep free operational space for telecommunication systems in geo-synchronized orbit, as well as to av...
85
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
DATE
2000
IEEE
15 years 2 months ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
MIE
2008
14 years 11 months ago
2008
: The pharmacovigilance databases consist of several case reports involving drugs and adverse events (AEs). Some methods are applied consistently to highlight all signals, i.e. all...