4036 search results - page 636 / 808 » Formal Methods |
155
click to vote
VAMOS
2007
Springer
16 years 17 days ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
155
click to vote
MEMOCODE
2006
IEEE
16 years 14 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
178
click to vote
ACL2
2006
ACM
16 years 13 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
148
click to vote
ERLANG
2006
ACM
16 years 13 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
162
click to vote
WECWIS
2005
IEEE
16 years 1 days ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...