2872 search results - page 219 / 575 » On (Omega-)Regular Model Checking |
104
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Module paths are often used to specify the delays of cells in a Verilog cell library description, which define the propagation delay for an event from an input to an output. Sp...
115
click to vote
WOODPECKER
2001
15 years 27 days ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
109
click to vote
ENTCS
2008
14 years 11 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
145
click to vote
DAC
2002
ACM
16 years 15 days ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...