4036 search results - page 51 / 808 » Formal Methods |
APSEC
2000
IEEE
15 years 7 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
160
Voted
TII
2008
15 years 2 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
102
Voted
SAFECOMP
2004
Springer
15 years 8 months ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
113
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
125
Voted
ITS
2004
Springer
2004
Springer
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
15 years 8 months ago
Abstract. This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to ove...