1054 search results - page 19 / 211 » From a Verified Kernel towards Verified Systems |
AIS
2006
Springer
13 years 8 months ago
2006
Springer
Negative attitudes toward robots are considered as one of psychological factors preventing humans from interacting with robots in daily life. To verify their influence on humans&#...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
WCRE
1999
IEEE
14 years 24 days ago
1999
IEEE
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
DAGSTUHL
2003
13 years 10 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
OSDI
2006
ACM
14 years 8 months ago
2006
ACM
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...