Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Boogie : A modular reusable verifier for object-oriented programs
BARNETT, Mike, CHANG, Bor-Yuh Evan, DELINE, Robert, JACOBS, Bart, LEINO, K. Rustan M
Published in Lecture notes in computer science (2006)
Get full text
Published in Lecture notes in computer science (2006)
Conference Proceeding
Smallfoot : Modular automatic assertion checking with separation logic
BERDINE, Josh, CALCAGNO, Cristiano, O'HEARN, Peter W
Published in Lecture notes in computer science (2006)
Get full text
Published in Lecture notes in computer science (2006)
Conference Proceeding
Beyond assertions : Advanced specification and verification with JML and ESC/Java2
CHALIN, Patrice, KINIRY, Joseph R, LEAVENS, Gary T, POLL, Erik
Published in Lecture notes in computer science (2006)
Get full text
Published in Lecture notes in computer science (2006)
Conference Proceeding
Priced timed automata : Algorithms and applications
BEHRMANN, Gerd, LARSEN, Kim G, RASMUSSEN, Jacob I
Published in Lecture notes in computer science (2005)
Get full text
Published in Lecture notes in computer science (2005)
Conference Proceeding
Synchronised hyperedge replacement as a model for service oriented computing
LUIGI FERRARI, Gian, HIRSCH, Dan, LANESE, Ivan, MONTANARI, Ugo, TUOSTO, Emilio
Published in Lecture notes in computer science (2006)
Get full text
Published in Lecture notes in computer science (2006)
Conference Proceeding
Partial order reduction for markov decision processes : A survey
Get full text
Conference Proceeding
Divide and congruence : From decomposition of modalities to preservation of branching bisimulation
FOKKINK, Wan, VAN GLABBEEK, Rob, DE WIND, Paulien
Published in Lecture notes in computer science (2006)
Get full text
Published in Lecture notes in computer science (2006)
Conference Proceeding
Modular specification of encapsulated object-oriented components
Get full text
Conference Proceeding
Orion : High-precision methods for static error analysis of C and C++ programs
Get full text
Conference Proceeding
Safety and liveness in concurrent pointer programs
DISTEFANO, Dino, KATOEN, Joost-Pieter, RENSINK, Arend
Published in Lecture notes in computer science (2006)
Get full text
Published in Lecture notes in computer science (2006)
Conference Proceeding
Model-based security engineering with UML : Introducing security aspects
Get full text
Conference Proceeding
Program compatibility approaches
CLARKE, Edmund, SHARYGINA, Natasha, SINHA, Nishant
Published in Lecture notes in computer science (2006)
Get full text
Published in Lecture notes in computer science (2006)
Conference Proceeding
On a probabilistic chemical abstract machine and the expressiveness of linda languages
DI PIERRO, Alessandra, HANKIN, Chris, WIKLICKY, Herbert
Published in Lecture notes in computer science (2006)
Get full text
Published in Lecture notes in computer science (2006)
Conference Proceeding