4126 search results - page 77 / 826 » Relationships with other Formalisms |
278
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
176
click to vote
TRUSTBUS
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance syste...
169
click to vote
SGAI
2009
Springer
15 years 10 months ago
2009
Springer
Temporality and uncertainty are important features of many real world systems. Solving problems in such systems requires the use of formal mechanism such as logic systems, statisti...
157
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
174
click to vote
ENTCS
2006
15 years 6 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...