452 search results - page 38 / 91 » Symbolic Execution of Behavioral Requirements |
106
click to vote
SPIN
2000
Springer
15 years 2 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
128
Voted
EDBT
2012
ACM
13 years 1 months ago
2012
ACM
Many stream processing applications require access to a multitude of streaming as well as stored data sources. Yet there is no clear semantics for correct continuous query executi...
RTAS
2007
IEEE
15 years 5 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
83
Voted
PADS
2000
ACM
15 years 3 months ago
2000
ACM
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
86
Voted
RTSS
2006
IEEE
15 years 5 months ago
2006
IEEE
The Constant Bandwidth Server (CBS) is an effective scheduling technique frequently used to handle overruns and implement resource reservation in real-time systems where tasks hav...