Automatic generation of invariants and intermediate assertions von Bjørner, Nikolaj, Browne, Anca, Manna, Zohar

Volltext

An improved algorithm for the evaluation of fixpoint expressions von Long, David E., Browne, Anca, Clarke, Edmund M., Jha, Somesh, Marrero, Wilfredo R.

Volltext

Automatic generation of invariants and intermediate assertions von Bjørner, Nikolaj, Browne, Anca, Manna, Zohar

Volltext

STeP: Deductive-algorithmic verification of reactive and real-time systems von Bjørner, Nikolaj, Browne, Anca, Chang, Eddie, Colón, Michael, Kapur, Arjun, Manna, Zohar, Sipma, Henny B., Uribe, Tomás E.

Volltext

Verifying temporal properties of reactive systems: a STeP tutorial von Bjorner, Nikolaj S, Browne, Anca, Colon, Michael A, Finkbeiner, Bernd, Manna, Zohar, Sipma, Henny B, Uribe, Tomas E

Volltext

The ‘Cash-Point’ Service: A Verification Case Study Using STeP von Browne, Anca, Finkbeiner, Bernd, Manna, Zohar, Sipma, Henny

Volltext

Linking STeP with SPIN von Browne, Anca, Sipma, Henny, Zhang, Ting

Volltext

The 'cash-point' service: A verification case study using STeP : The cash-point (ATM) 'problem' von BROWNE, Anca, FINKBEINER, Bernd, MANNA, Zohar, SIPMA, Henny

Volltext

Static Analysis Numerical Algorithms von Barry,Matthew, Bush,Eric, Smith,Doug, Bhatt,Devesh, Oglesby,David, Browne,Anca, Hickman,Steve

Volltext bestellen

Visual Abstractions for Temporal Verification von Manna, Zohar, Browne, Anca, Sipma, Henny B., Uribe, Tomás E.

Volltext

Vulnerabilities in Bytecode Removed by Analysis, Nuanced Confinement and Diversification (VIBRANCE) von Coglio, Alessandro, Becker, Marcel, Fitzpatrick, Stephen, Gilham, Limei, Green, Cordell, McCarthy, Eric, Sipma, Henny, Barry, Matthew, Browne, Anca, Bush, Eric, Smith, Doug, Venet, Arnaud, Rinard, Martin, Perkins, Jeff, Eikenberry, Jordan, Kramm, Douglas, Piselli, Paolo, Willenson, Daniel

Volltext bestellen

STeP: The Stanford Temporal Prover von Manna, Zohar, Bjørner, Nikolaj, Browne, Anca, Chang, Edward, Colón, Michael, de Alfaro, Luca, Devarajan, Harish, Kapur, Arjun, Lee, Jaejin, Sipma, Henny, Uribe, Tomás

Volltext

STeP: The Stanford Temporal Prover von Manna, Zohar, Anuchitanukul, Anuchit, Bjorner, Nikolaj, Browne, Anca, Chang, Edward

Volltext bestellen