2881 search results - page 68 / 577 » Model Checking for Programming Languages using Verisoft |
144
click to vote
CASES
2005
ACM
15 years 4 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
114
click to vote
ENTCS
2002
15 years 2 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
153
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
155
Voted
SPIN
2001
Springer
15 years 6 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
130
click to vote
TOOLS
2009
IEEE
15 years 9 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...