2407 search results - page 452 / 482 » A Tool for Abstraction in Model Checking |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
ABSTRACT. Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical repr...
IJWET
2006
14 years 9 months ago
2006
: Business processes provide abstractions for modelling business protocols that define the correct interactions between two or more Web services (WS). It has been shown that it is ...
EWC
2007
14 years 9 months ago
2007
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable conï¬...
IIE
2007
14 years 9 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...