733 search results - page 79 / 147 » Formal Reasoning About Intrusion Detection Systems |
103
click to vote
IFM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
105
click to vote
VEE
2006
ACM
15 years 5 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
108
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
IFIP
1989
Springer
15 years 3 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
ICFP
2010
ACM
15 years 28 days ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...