SIGPLAN   2002
Wall of Fame | Most Viewed SIGPLAN-2002 Paper
10 years 5 months ago
On-the-fly model checking from interval logic specifications
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
Miguel J. Hornos, Manuel I. Capel
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source137
2Download preprint from source121
3Download preprint from source115
4Download preprint from source112
5Download preprint from source103
6Download preprint from source101
7Download preprint from source92
8Download preprint from source91
9Download preprint from source88
10Download preprint from source87
11Download preprint from source85
12Download preprint from source84
13Download preprint from source82
14Download preprint from source76
15Download preprint from source73