1914 search results - page 149 / 383 » Verification by Abstract Interpretation |
110
Voted
INFORMATICALT
2006
15 years 22 days ago
2006
Abstract. This paper presents identity based serial and parallel multisignature schemes using bilinear pairings. Our serial multisignature scheme requires a forced verification at ...
JSW
2006
15 years 22 days ago
2006
Abstract-- This paper describes a technique combining higher order functions, algebraic datatypes, and monads to incrementally implement syntax driven logics. Extensions can be com...
114
click to vote
ICTAC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
116
click to vote
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
82
Voted
ECEASST
2010
14 years 10 months ago
2010
Abstract: The need of confidence that a product or service actually possesses declared behavioural / structural characteristics is the main reason for certification. It seems that ...