228 search results - page 24 / 46 » On-the-fly symbolic model checking for real-time systems |
129
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
91
Voted
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
107
click to vote
JALC
2006
15 years 1 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
108
Voted
AVI
2004
15 years 3 months ago
2004
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...
129
Voted
USS
2010
14 years 11 months ago
2010
Idle port scanning uses side-channel attacks to bounce scans off of a "zombie" host to stealthily scan a victim IP address and determine if a port is open or closed, or ...