9067 search results - page 220 / 1814 » Adaptive Model Checking |
153
Voted
ENTCS
2006
15 years 7 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
166
Voted
CASSIS
2004
Springer
16 years 13 days ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
218
Voted
I3E
2001
15 years 8 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
176
Voted
APSEC
2005
IEEE
16 years 20 days ago
2005
IEEE
Exception handling design is an important but difficult subject in software development. In Java software development, the use of checked exceptions exacerbates the difficulty. In...
206
click to vote
ECMDAFA
2010
Springer
15 years 12 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...