Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540883869, 9783540883876
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

CTL Model-Checking with Graded Quantifiers

2008 ◽  
pp. 18-32 ◽  
Author(s):  
Alessandro Ferrante ◽  
Margherita Napoli ◽  
Mimmo Parente
Keyword(s):  
Model Checking

Run-Time Monitoring of Electronic Contracts

2008 ◽  
pp. 397-407 ◽  
Author(s):  
Marcel Kyas ◽  
Cristian Prisacariu ◽  
Gerardo Schneider
Keyword(s):  
Electronic Contracts ◽  
Run Time

A Dynamic Assertion-Based Verification Platform for Validation of UML Designs

2008 ◽  
pp. 222-227
Author(s):  
Ansuman Banerjee ◽  
Sayak Ray ◽  
Pallab Dasgupta ◽  
Partha Pratim Chakrabarti ◽  
S. Ramesh ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document