Program Model Checking: A Practitioner's Guide von Pressburger, Thomas T., Mansouri-Samani, Masoud, Mehlitz, Peter C., Pasareanu, Corina S., Markosian, Lawrence Z., Penix, John J., Brat, Guillaume P., Visser, Willem C.

Volltext bestellen

Using Static Analysis to Find Bugs von Ayewah, N., Pugh, W., Hovemeyer, D., Morgenthaler, J.D., Penix, J.

Volltext

Formal analysis of a space-craft controller using SPIN von Havelund, K., Lowry, M., Penix, J.

Volltext

Bebop: A Symbolic Model Checker for Boolean Programs von Ball, Thomas, Rajamani, Sriram K.

Volltext

Increased endothelial expression of intercellular adhesion molecule-1 in symptomatic versus asymptomatic human carotid atherosclerotic plaque von DEGRABA, T. J, SIREN, A.-L, PENIX, L, MCCARRON, R. M, HARGRAVES, R, SOOD, S, PETTIGREW, K. D, HALLENBECK, J. M

Volltext

The Temporal Rover and the ATG Rover von Drusinsky, Doron

Volltext

Using Runtime Analysis to Guide Model Checking of Java Programs von Havelund, Klaus

Volltext

Logic Verification of ANSI-C Code with SPIN von Holzmann, Gerard J.

Volltext

Runtime Checking of Multithreaded Applications with Visual Threads von Harrow, Jerry J.

Volltext

Model-Checking Multi-threaded Distributed Java Programs von Stoller, Scott D.

Volltext

Verifying Time Partitioning in the DEOS Scheduling Kernel von Penix, John, Visser, Willem, Park, SeungJoon, Pasareanu, Corina, Engstrom, Eric, Larson, Aaron, Weininger, Nicholas

Volltext

A Language Framework for Expressing Checkable Properties of Dynamic Software von Corbett, James C., Dwyer, Matthew B., Hatcliff, John, Robby

Volltext

Efficient Specification-Based Component Retrieval von Penix, John, Alexander, Perry

Volltext

Verification and validation of AI systems that control deep-space spacecraft von Lowry, Michael, Havelund, Klaus, Penix, John

Volltext

The second international workshop on automated program analysis, testing and verification von Tracey, N., Penix, J., Visser, W.C.

Volltext

Predicting accurate and actionable static analysis warnings von Ruthruff, J.R., Penix, J., Morgenthaler, J.D., Elbaum, S., Rothermel, G.

Volltext

Verification and Optimization of a PLC Control Schedule von Brinksma, Ed, Mader, Angelika

Volltext

The second international workshop on automated program analysis, testing and verification von Tracey, Nigel, Penix, John, Visser, Willem C.

Volltext

The First International Workshop on Automated Program Analysis, Testing and Verification (workshop session) von Tracey, Nigel, Penix, John, Visser, Willem C.

Volltext

Symmetric Spin von Bošnački, Dragan, Dams, Dennis, Holenderski, Leszek

Volltext