3256 search results - page 155 / 652 » Applications of Formal Methods to System Design and Verifica... |
129
click to vote
CODES
2000
IEEE
15 years 9 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
120
click to vote
ICCS
2003
Springer
15 years 10 months ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
136
click to vote
INFSOF
2006
15 years 4 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
151
click to vote
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
170
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...