4460 search results - page 39 / 892 » Formal methods for interactive systems |
DATE
1998
IEEE
13 years 12 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
FMSB
2008
13 years 9 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
FOCS
1990
IEEE
13 years 11 months ago
1990
IEEE
A new algebraic technique for the construction of interactive proof systems is presented. Our technique is used to prove that every language in the polynomial-time hierarchy has an...
CONCUR
1999
Springer
13 years 12 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...