1239 search results - page 48 / 248 » Applying Model Checking to Concurrent UML Models |
145
Voted
MODELS
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
178
Voted
MOMPES
2006
IEEE
16 years 5 days ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
172
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...