84 search results - page 8 / 17 » Verifying Security Property of Peer-to-Peer Systems Using CS... |
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
COMPSAC
2007
IEEE
13 years 7 months ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
AGENTS
2000
Springer
13 years 12 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
SAFECOMP
2007
Springer
14 years 1 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
ETRICS
2006
13 years 11 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...