452 search results - page 33 / 91 » Incremental formal design verification |
MEMOCODE
2010
IEEE
14 years 7 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...
IWPSE
2010
IEEE
14 years 7 months ago
2010
IEEE
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
74
Voted
ECRTS
1998
IEEE
15 years 1 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
EMSOFT
2006
Springer
14 years 11 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
190
click to vote
AMCS
2011
14 years 4 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...