archives

Browse by Subject: Software/Program Verification (F.3.1)


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 79 entries

Assaad, Medhat G. and Leavens, Gary T. (2001) Alias-free Parameters in C for Better Reasoning and Optimization. Technical Report 01-11, Computer Science, Iowa State University.

Barnett, Mike, Edwards, Stephen H., Giannakopoulou, Dimitra and Leavens, Gary T. (2003) SAVCBS 2003: Specification and Verification of Component-Based Systems. Technical Report 03-11, Computer Science, Iowa State University.

Barnett, Mike, Edwards, Stephen H., Giannakopoulou, Dimitra, Leavens, Gary T. and Sharygina, Natasha (2005) SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems. Technical Report 05-19, Computer Science, Iowa State University.

Barnett, Mike, Edwards, Stephen H., Giannakopoulou, Dimitra, Leavens, Gary T. and Sharygina, Natasha (2004) SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings. Technical Report 04-09, Computer Science, Iowa State University.

Basu, Samik, Sinha, Roopak and Roop, Partha (2006) A Model Checking based Converter Synthesis Approach for Embedded Systems. Technical Report, Department of Computer Science, Iowa State University.

Boysen, Kristina P. and Leavens, Gary T. (2008) Discussion of Design Alternatives for JML Java 5 Annotations. Technical Report 08-01, Computer Science, Iowa State University.

Cheon, Yoonsik (2003) A Runtime Assertion Checker for the Java Modeling Language. PhD thesis, Department of Computer Science, Iowa State University.

Cheon, Yoonsik and Gary T., Leavens (2003) A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. Technical Report TR 01-12c, Dept. of Computer Science, Iowa State University.

Cheon, Yoonsik and Gary T., Leavens (2001) A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. Technical Report TR 01-12a, Dept. of Computer Science, Iowa State University.

Cheon, Yoonsik, Hayashi, Yoshiki and Leavens, Gary T. (2003) A Thought on Specification Reflection. Technical Report 03-16, Computer Science, Iowa State University.

Cheon, Yoonsik and Leavens, Gary T. (2002) A Runtime Assertion Checker for the Java Modeling Language (JML). Technical Report TR #02-05, Department of Computer Science, Iowa State University.

Cheon, Yoonsik and Leavens, Gary T. (2001) A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. Technical Report TR #01-12, Department of Computer Science, Iowa State University.

Cheon, Yoonsik, Leavens, Gary T., Sitaraman, Murali and Edwards, Stephen (2003) Model Variables: Cleanly Supporting Abstraction in Design By Contract. Technical Report TR #03-10, Department of Computer Science, Iowa State University.

Cheon, Yoonsik, Leavens, Gary T., Sitaraman, Murali and Edwards, Stephen (2003) Model Variables: Cleanly Supporting Abstraction in Design By Contract. Technical Report TR #03-10a, Department of Computer Science, Iowa State University.

Clifton, Curtis and Leavens, Gary T. (2003) Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy. Technical Report 03-15, Dept. of Computer Science, Iowa State Unversity.

Clifton, Curtis, Leavens, Gary T. and Noble, James (2007) MAO: Ownership and Effects for more Effective Reasoning about Aspects. Technical Report 06-35a, Computer Science, Iowa State University.

Clifton, Curtis, Leavens, Gary T. and Noble, James (2006) Ownership and Effects for more Effective Reasoning about Aspects. Technical Report 06-35, Computer Science, Iowa State University.

Dhara, Krishna Kishore and Leavens, Gary T. (2001) Mutation, Aliasing, Viewpoints, Modular Reasoning, and Weak Behavioral Subtyping. Technical Report 01-02, Computer Science, Iowa State University.

Dhara, Krishna Kishore and Leavens, Gary T. (2001) Preventing Cross-Type Aliasing for More Practical Reasoning. Technical Report 01-02a, Computer Science, Iowa State University.

Giannakopoulou, Dimitra, Leavens, Gary T. and Sitaraman, Murali (2001) SAVCBS 2001 Proceedings Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001. Technical Report 01-09, Computer Science, Iowa State Univeristy.

Giannakopoulou, Dimitra, Leavens, Gary T. and Sitaraman, Murali (2001) SAVCBS 2001 Proceedings: Specification and Verification of Component-Based Systems, Workshop at OOPSLA 2001. Technical Report 01-09a, Computer Science, Iowa State University.

Gurski, Marybeth (2001) The Class Validation System. Technical Report TR01-01, Department of Computer Science, Iowa State University.

Hanna, Youssef, Basu, Samik and Rajan, Hridesh (2009) Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems. Technical Report 09-17, Computer Science, Iowa State University.

Hanna, Youssef, Basu, Samik and Rajan, Hridesh (2009) Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems. Technical Report 09-17, Computer Science, Iowa State University.

Hanna, Youssef, Basu, Samik and Rajan, Hridesh (2009) Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems. Technical Report 09-17, Computer Science, Iowa State University.

Hanna, Youssef, Basu, Samik and Rajan, Hridesh (2009) Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems. Technical Report 09-17, Computer Science, Iowa State University.

Hanna, Youssef and Rajan, Hridesh (2007) Verifying Fault-Tolerance of Sensor Network Applications Using Auto-generated Fault Injection Mechanisms. Technical Report 07-11, Computer Science, Iowa State University.

Hanna, Youssef, Rajan, Hridesh and Zhang, Wensheng (2006) Lightweight Specification Language and Verification Framework for Sensor Network Security Protocols. Technical Report 06-31, Computer Science, Iowa State University.

Khanolkar, Neeraj and Leavens, Gary T. (2006) Executable Documentation of Template-Hook Interactions in Frameworks using JML. Technical Report 06-18, Computer Science, Iowa State University.

Kulczycki, Gregory K., Sitaraman, Murali, Ogden, William F. and Leavens, Gary T. (2003) Reasoning about Procedure Calls with Repeated Arguments and the Reference-Value Distinction. Technical Report TR02-13a, Computer Science, Iowa State University.

Kulczycki, Gregory W., Sitaraman, Murali, Ogden, William F., Weide, Bruce W. and Leavens, Gary T. (2002) Reasoning about Procedure Calls with Repeated Arguments and the Reference-Value Distinction. Technical Report 02-13, Computer Science, Iowa State University.

Leavens, Gary T. (2006) JML's Rich, Inherited Specifications for Behavioral Subtypes. Technical Report TR #06--22, Computer Science, Iowa State University.

Leavens, Gary T. (2001) Larch Frequently Asked Questions.

Leavens, Gary T. (1999) Larch/C++ Reference Manual.

Leavens, Gary T., Abrial, Jean-Raymond, Batory, Don, Butler, Michael, Coglio, Alessandro, Fisler, Kathi, Hehner, Eric, Jones, Cliff, Miller, Dale, Peyton-Jones, Simon, Sitaraman, Murali, Smith, Douglas R. and Stump, Aaron (2006) Roadmap for Enhanced Languages and Methods to Aid Verification. Technical Report 06-21, Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2006) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06-rev29, Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2004) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report 98-06y, Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2004) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report 98-06z, Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2003) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06u, Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2003) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report 98-06w, Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2002) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report 98-06q, Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2002) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report 98-06t, Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2001) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06m, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2001) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06n, Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2001) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report 98-06o, Computer Science, Iowa State University.

Leavens, Gary T., Cheon, Yoonsik, Clifton, Curtis, Ruby, Clyde and Cok, David R. (2004) How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification. Technical Report 03-04a, Computer Science, Iowa State University.

Leavens, Gary T., Cheon, Yoonsik, Clifton, Curtis, Ruby, Clyde and Cok, David R. (2003) How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification. Technical Report TR03-04, Computer Science, Iowa State University.

Leavens, Gary T., Cheon, Yoonsik and Cok, David R. (2005) Demonstration of JML Tools. Technical Report 05-13, Computer Science, Iowa State University.

Leavens, Gary T. and Clifton, Curtis (2005) Lessons from the JML Project. Technical Report 05-12, Computer Science, Iowa State University.

Leavens, Gary T. and Clifton, Curtis (2005) Lessons from the JML Project. Technical Report 05-12a, Computer Science, Iowa State University.

Leavens, Gary T. and Clifton, Curtis (2003) FOAL 2003 Proceedings Foundations of Aspect-Oriented Langauges Workshop at AOSD 2003. Technical Report TR03-05, Computer Science, Iowa State University.

Leavens, Gary T. and Cytron, Ron (2002) FOAL 2002 Proceedings: Foundations of Aspect-Oriented Langauges Workshop at AOSD 2002. Technical Report 02-06, Computer Science, Iowa State University.

Leavens, Gary T., Leino, K. Rustan M. and Müller, Peter (2006) Specification and verification challenges for sequential object-oriented programs. Technical Report 06-14, Computer Science, Iowa State University.

Leavens, Gary T. and Müller, Peter (2006) Information Hiding and Visibility in Interface Specifications. Technical Report 06-28, Computer Science, Iowa State University.

Leavens, Gary T. and Naumann, David A. (2006) Behavioral Subtyping is Equivalent to Modular Reasoning for Object-oriented Programs. Technical Report 06-36, Computer Science, Iowa State University.

Leavens, Gary T. and Naumann, David A. (2006) Behavioral Subtyping, Specification Inheritance, and Modular Reasoning. Technical Report TR06-20, Computer Science, Iowa State University.

Leavens, Gary T. and Naumann, David A. (2006) Behavioral Subtyping, Specification Inheritance, and Modular Reasoning. Technical Report TR06-20a, Computer Science, Iowa State University.

Leavens, Gary T. and Naumann, David A. (2006) Behavioral Subtyping, Specification Inheritance, and Modular Reasoning. Technical Report 06-20b, Computer Science, Iowa State University.

Leavens, Gary T. and Pigozzi, Don (2002) Equational Reasoning with Subtypes. Technical Report TR02-07, Computer Science, Iowa State University.

Leavens, Gary T. and Raghavan, Arun (2003) Desugaring JML Method Specifications. Technical Report 00-03d, Computer Science, Iowa State University.

Levens, Gary T., Baker, Albert L. and Ruby, Clyde (2001) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report 98-06p, Computer Science, Iowa State University.

Liu, Jing (Janet), Basu, Samik and Lutz, Robyn (2008) Generating Variation-point Obligations for Compositional Model Checking of Software Product Lines. Technical Report 08-04, Computer Science, Iowa State University.

Liu, Jing (Janet), Hauptman, Miriam, Lutz, Robyn, Geppert, Birgit and Rößler, Frank (2007) A Tool-supported Technique for Specification & Management of Model-checking Properties for Software Product Lines. Technical Report 08-05, Computer Science, Iowa State University.

Long, Yuheng (2013) Open Effects: Programmer-guided Effects for Open World Concurrent Programs. Technical Report 13-04, Computer Science, Iowa State University.

Mahantesh, Hosamani, Harish, Narayanappa and Hridesh, Rajan (2007) Monitoring the Monitor: An Approach Towards Trustworthiness in Service Oriented Architecture. Technical Report 07-07, Computer Science, Iowa State University.

Mahantesh, Hosamani, Harish, Narayanappa and Hridesh, Rajan (2007) Monitoring the Monitor: An Approach Towards Trustworthiness in Service Oriented Architecture. Technical Report 07-07, Computer Science, Iowa State University.

Mehdi, Bagherzadeh, Hridesh, Rajan, Gary T., Leavens and Sean, Mooney (2010) Translucid Contracts: Expressive Specification and Modular Verification for Aspect-oriented Interfaces. Technical Report 10-02, Department of Computer Science, Iowa State University.

Mueller, Peter, Poetzsch-Heffter, Arnd and Leavens, Gary T. (2002) Modular Specification of Frame Properties in JML. Technical Report 02-02a, Computer Science, Iowa State University.

Mueller, Peter, Poetzsch-Heffter, Arnd and Leavens, Gary (2002) Modular Specification of Frame Properties in JML. Technical Report 02-02, Computer Science, Iowa State University.

Müller, Peter, Poetzsch-Heffter, Arnd and Leavens, Gary T. (2001) Modular Specification of Frame Properties in JML. Technical Report 01-03, Computer Science, Iowa State University.

Raghavan, Arun D. and Leavens, Gary T. (2005) Desugaring JML Method Specifications. Technical Report 00-03e, Computer Science, Iowa State University.

Raghavan, Arun D. and Leavens, Gary T. (2001) Desugaring JML Method Specifications. Technical Report 00-03c, Computer Science, Iowa State University.

Ruby, Clyde Dwain (2006) Modular subclass verification: Safely creating correct subclasses without superclass code. Technical Report 06-34, Computer Science, Iowa State University.

Shaner, Steve M., Leavens, Gary T. and Naumann, David A. (2007) Modular Verification of Higher-Order Methods with Mandatory Calls Specified by Model Programs. Technical Report TR 07-04, Computer Science, Iowa State University.

Shaner, Steve M., Leavens, Gary T. and Naumann, David A. (2007) Modular Verification of Higher-Order Methods with Mandatory Calls Specified by Model Programs. Technical Report TR #07-04a, Computer Science, Iowa State University.

Sinha, Roopak, Roop, Partha and Basu, Samik (2006) A Model Checking Approach to Protocol Conversion. Technical Report 0000482, Computer Science, Iowa State University.

Taylor, Kristina B. (2008) A Specification Language Design for the Java Modeling Language (JML) Using Java 5 Annotations. Masters thesis, Computer Science, Iowa State University.

Taylor, Kristina B., Rieken, Johannes and Leavens, Gary T. (2008) Adapting the Java Modeling Language for Java 5 Annotations. Technical Report 08-06, Computer Science, Iowa State University.

Ye, Cui (2006) Improving JML's assignable clause analysis. Technical Report TR06-19, Computer Science, Iowa State University.



Contact site administrator at: ssg@cs.iastate.edu