289 search results - page 18 / 58 » Automating Checking of Models Built Using a Graphically Base... |
127
Voted
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
131
click to vote
APSEC
2009
IEEE
15 years 1 days ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
140
Voted
ER
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
122
Voted
FMSD
2008
15 years 2 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
118
Voted
IAAI
2001
15 years 3 months ago
2001
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...