1463 search results - page 96 / 293 » Model Checking Implicit-Invocation Systems |
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
100
Voted
FMICS
2007
Springer
15 years 7 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
137
Voted
JSS
2010
14 years 8 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
133
click to vote
TGC
2005
Springer
15 years 7 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
162
click to vote
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...