3256 search results - page 311 / 652 » Applications of Formal Methods to System Design and Verifica... |
171
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
202
click to vote
FMCO
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
153
click to vote
EUSAI
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we discuss research work that enables the development of mixed societies of communicating plants and artefacts. PLANTS is an EUfunded Research and Development project...
179
click to vote
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
Transforming software requirements into a software design involves the iterative partition of a solution into software components. The process is human-intensive and does not guar...
175
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...