1492 search results - page 128 / 299 » Automatic Software Model Checking Using CLP |
101
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: In many contexts, researchers need specific primers for all sequences in a family such that each primer set amplifies only its target sequence and none of the others, ...
104
click to vote
APSEC
2008
IEEE
15 years 3 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...
101
click to vote
SEFM
2009
IEEE
15 years 8 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
103
click to vote
ADAEUROPE
2008
Springer
15 years 3 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
125
Voted
JSS
2006
15 years 1 months ago
2006
The Mobile Agent Intrusion Detection System (MAIDS) is an agent based distributed Intrusion Detection System (IDS). A disciplined requirement engineering process is developed to b...