190 search results - page 12 / 38 » Towards model checking interpreted systems |
IEEEARES
2006
IEEE
15 years 6 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
146
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
121
click to vote
IANDC
2011
14 years 7 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
112
click to vote
CMSB
2006
Springer
15 years 4 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
119
Voted
MODELS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...