245 search results - page 15 / 49 » Verifying networked programs using a model checker extension |
BIRTHDAY
2009
Springer
15 years 1 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
167
click to vote
FORTE
2011
14 years 1 months ago
2011
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
150
click to vote
AOSD
2011
ACM
14 years 4 months ago
2011
ACM
This paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on user-defined events. In addition to defining cont...
APSEC
2008
IEEE
14 years 11 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
KBSE
2003
IEEE
15 years 2 months ago
2003
IEEE
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...