612 search results - page 6 / 123 » Bounded model checking for knowledge and real time |
ISORC
2005
IEEE
15 years 3 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
CHARME
2005
Springer
15 years 3 months ago
2005
Springer
FDL
2003
IEEE
15 years 2 months ago
2003
IEEE
ICRA
2000
IEEE
15 years 2 months ago
2000
IEEE
FTRTFT
1998
Springer
15 years 1 months ago
1998
Springer