726 search results - page 15 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
WSC
2004
13 years 9 months ago
2004
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...
ISORC
1998
IEEE
14 years 21 days ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 8 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
ACSD
2006
IEEE
14 years 6 days ago
2006
IEEE
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
ENTCS
2006
13 years 8 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...