1239 search results - page 48 / 248 » Applying Model Checking to Concurrent UML Models |
FOSSACS
2010
Springer
14 years 3 months ago
2010
Springer
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
MODELS
2007
Springer
14 years 2 months 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...
MOMPES
2006
IEEE
14 years 2 months 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...
OSDI
2002
ACM
14 years 9 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...