Search Results
Showing 1 - 20 results of 29 for search '"model checking"', query time: 0.17s Refine ResultsPlease enable Javascript.
Please upgrade your browser.
Search Tools:
Get RSS Feed
Narrow Search
Merz, Stephan
10
Hartmanns, Arnd
6
Lu, Tianxiang
6
Weidenbach, Christoph
6
Legay, Axel
4
Quinson, Martin
4
Rosa, Cristian
4
Sedwards, Sean
4
Asirelli, Patrizia
3
Becker, Bernd
3
Braitling, Bettina
3
Fantechi, Alessandro
3
Filipiuk, Piotr
3
Gnesi, Stefania
3
Graf, Susanne
3
Jansen, Nils
3
Nielson, Flemming
3
Nielson, Hanne,
3
Peled, Doron
3
Quinton, Sophie
3
Terepeta, Michał
3
Wimmer, Ralf
3
d'Argenio, Pedro,
3
Ábrahám, Erika
3
Bogdoll, Jonathan
2
Ferrer Fioriti, Luis,
2
Hermanns, Holger
2
ter Beek, Maurice,
2
Bouyer, Patricia
1
D'Argenio, Pedro,
1
see all ...
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
17
[INFO]Computer Science [cs]
17
model checking
10
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
8
formal specification
6
network protocols
6
verification methods
6
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking
4
ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.7: Simulation Support Systems
4
Parallel
4
[INFO.INFO-DC]Computer Science [cs]/Distributed
4
[INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
4
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
4
and Cluster Computing [cs.DC]
4
distributed systems
4
partial-order reduction
4
simulation
4
ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems
3
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs
3
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods
3
see all ...
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
10
IFIP Open Digital Library (International Federation for Information Processing)
7
Université de Nantes: HAL-UNIV-NANTES
5
Université de Lorraine: HAL
3
INSA Rennes HAL (Institut National des Sciences Appliquées)
1
Portail HAL-ANR (Agence Nationale de la Recherche)
1
Université Grenoble Alpes: HAL
1
Université de Rennes 1: Publications scientifiques (HAL)
1
see all ...