1108 search results - page 141 / 222 » Model Checking of Safety Properties |
HAPTICS
2003
IEEE
14 years 3 months ago
2003
IEEE
In previous papers, a passive control implementation structure is proposed for mechanical systems interacting with physical environments. The proposed implementation structure enf...
FGCS
2010
13 years 8 months ago
2010
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementa...
CAV
2003
Springer
14 years 3 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
MKWI
2008
13 years 11 months ago
2008
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
SRDS
1999
IEEE
14 years 2 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...