Search Results - "Program verification."

Non-null references by default in the Java modeling language. by Chalin, Patrice

Relational analysis of algebraic datatypes. by Kuncak, Viktor

Modular design and verification of component-based mechatronic systems with online-reconfiguration. by Giese, Holger

Specification and design of component-based coordination systems by integrating coordination patterns. by Pérez-Serrano, Pedro L.

Interface automata. by De Alfaro, Luca

Formally modelling software architectures with the UML 2.0 profile for π-ADL. by Oquendo, Flavio

Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. by Dingel, Juergen

Modular verification of collaboration-based software designs. by Fisler, Kathi