597 search results - page 55 / 120 » E-Process Design and Assurance Using Model Checking |
131
click to vote
ASE
1999
15 years 2 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
96
Voted
GLVLSI
2005
IEEE
15 years 8 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
174
Voted
FASE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
133
Voted
DBSEC
2004
15 years 3 months ago
2004
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...