3256 search results - page 10 / 652 » Applications of Formal Methods to System Design and Verifica... |
FMCAD
2009
Springer
14 years 1 months ago
2009
Springer
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
DAC
1997
ACM
13 years 11 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
CATS
2006
13 years 8 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
FLAIRS
2008
13 years 9 months ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...