Serie
lecture notes in computer science
(27)programming and software engineering
(12)theoretical computer science and general issues
(11)lecture notes in artificial intelligence
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
andrei soeanu
(2)beckert, bernhard
(2)ciobanu, gabriel
(2)damiani, ferruccio
(2)fawzi hassaïne
(2)luay alawneh
(2)marcus s. fisher
(2)mourad debbabi
(2)nanz, sebastian
(2)woodcock, jim
(2)yosr jarraya
(2)abdulbaki aydin
(1)albert, elvira
(1)arbel, eli
(1)bernardo, marco
(1)blazy, sandrine
(1)bloem, roderick
(1)bodden, eric
(1)bonacina, maria paola
(1)bonsangue, marcello m.
(1)cavalcanti, ana
(1)chechik, marsha
(1)chiba, shigeru
(1)coenen, frans
(1)de boer, frank s.
(1)demri, stéphane
(1)donaldson, alastair
(1)dongol, brijesh
(1)echahed, rachid
(1)eleftherakis, george
(1)enea, constantin
(1)fang yu
(1)giunchiglia, enrico
(1)godefroid, patrick
(1)groce, alex
(1)gurfinkel, arie
(1)haehnle, reiner
(1)henglein, fritz
(1)hierons, rob
(1)hierons, robert mark
(1)hinchey, mike
(1)holcombe, mike
(1)johann m. schumann
(1)johnsen, einar broch
(1)jones, cliff
(1)kapur, deepak
(1)kienzle, jörg
(1)kofron, jan
(1)lumpe, markus
(1)maoz, shahar
(1)meyer, bertrand
(1)meyer, roland
(1)minas, mark
(1)mosbah, mohamed
(1)muath alkhalaf
(1)musuvathi, madanlal
(1)müller-olm, markus
(1)palamidessi, catuscia
(1)parker, david
(1)pihlajasaari, pekka
(1)piskac, ruzica
(1)piterman, nir
(1)platzer, andré
(1)proença, josé
(1)rozenberg, grzegorz
(1)schaefer, ina
(1)seidl, helmut
(1)sekerinski, emil
(1)seshia, sanjit a.
(1)shoham, sharon
(1)smolka, scott
(1)stevens, perdita
(1)sun, jun
(1)tanter, Éric
(1)taylor, brian j.
(1)tevfik bultan
(1)timmis, jon
(1)vermesan, anca
(1)vizel, yakir
(1)vojnar, tomás
(1)walsh, toby
(1)wasowski, andrzej
(1)wehrheim, heike
(1)weidenbach, christoph
(1)Ábrahám, erika
(1)Verlag / Hersteller
springer berlin heidelberg
(19)springer international publishing
(17)springer us
(4)Schlagwort
softwareverification
(42)informatik
(41)edv
(40)software verification
(40)software engineering
(30)model checking
(19)modelchecking
(19)formal methods
(16)formalmethods
(16)theorie
(16)software-entw.
(15)artificial intelligence
(12)verification
(12)logics and meanings of programs
(10)softwareengineering
(10)theory of computation
(9)mathematical logic and formal languages
(8)software engineering/programming and operating systems
(7)algorithms
(6)logic
(6)programming languages, compilers, interpreters
(6)program analysis
(5)programanalysis
(5)programming techniques
(5)theorem proving
(5)theoremproving
(5)computerprogrammierung und softwareentwicklung
(4)distributed systems
(4)distributedsystems
(4)künstliche intelligenz
(4)management of computing and information systems
(4)mathematical logic and foundations
(4)programmiersprachen
(4)software architecture
(4)softwarearchitecture
(4)softwareentwicklung
(4)abstraction
(3)artificialintelligence
(3)automated static analysis
(3)automatedstaticanalysis
(3)concurrency
(3)formal verification
(3)formalverification
(3)logic and verification
(3)logicandverification
(3)model-based testing
(3)modeling
(3)process algebra
(3)processalgebra
(3)proving
(3)semantics
(3)software
(3)software design
(3)software validation
(3)softwarevalidation
(3)algorithm analysis and problem complexity
(2)algorithmanalysisandproblemcomplexity
(2)approach
(2)automat
(2)automated reasoning
(2)automatedreasoning
(2)autonomous systems
(2)autonomoussystems
(2)biochemie
(2)biochemistry, general
(2)biologie
(2)biophysik
(2)cell biology
(2)cellbiology
(2)classification
(2)communication
(2)computer communication networks
(2)computer hardware
(2)concurrent systems
(2)concurrentsystems
(2)dna
(2)embedded systems
(2)engineering
(2)evolution
(2)evolutionary biology
(2)evolutionarybiology
(2)extension
(2)fault tolerance
(2)faulttolerance
(2)fisher
(2)formal method
(2)formalmethod
(2)gene assembly
(2)geneassembly
(2)genes
(2)genome
(2)genome evolution
(2)genomeevolution
(2)hoare logic
(2)image processing
(2)interface
(2)java
(2)machine learning
(2)machinelearning
(2)model-basedtesting
(2)Erscheinungsjahr
2004
(1)2005
(2)2006
(1)2008
(1)2010
(6)2011
(1)2012
(3)2013
(3)2014
(10)2015
(1)2016
(6)2017
(1)2019
(3)2021
(2)2022
(1)Ergebnis: 42 Artikel
Schlagwort: softwareverification
