|
|
|
SearchNavigationUser login |
RFM-UBATACO: Translation of Annotated COdelatestversion: 05/14/2010 TACO is an open source program analysis tool that statically checks the compliance of a Java program against its Java Modeling Language specification. Analysis of Invariants for Efficient Bounded VerificationPublication Venue: 2010 International Symposium on Software Testing and Analysis When Published: May 13 2010 DynAlloy: An Efficient Extension of Alloy with Procedural Actionslatestversion: 02/22/2010 DynAlloy is an extension to the Alloy specification language to describe dynamic properties of systems using actions. 
|
The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.
Theme originally designed by Chris Herberte