1129 search results - page 66 / 226 » Formal Verification of Websites |
117
click to vote
ENTCS
2010
14 years 11 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
119
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
IEEEPACT
2007
IEEE
15 years 8 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
140
click to vote
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
126
click to vote
MEMOCODE
2010
IEEE
14 years 12 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...