525 search results - page 14 / 105 » Systems Development Using Z Generics |
ARTS
1999
Springer
13 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
NDSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Application-level protocol analyzers are important components in tools such as intrusion detection systems, firewalls, and network monitors. Currently, protocol analyzers are wri...
FASE
2003
Springer
14 years 21 days ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
WSC
2008
13 years 9 months ago
2008
Building a simulation model for any large complex system requires high expertise and effort. These requirements can be reduced through building generic simulation capability that ...
CSMR
2005
IEEE
14 years 1 months ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...