Sous-collection du département 2 : Méthodes formelles

 Pour toute question ou remarque au sujet de cette collection, veuillez nous contacter à publications@loria.fr

 

Derniers Dépôts

 

 

 

Nombre de documents fulltext

539

Répartition des dépôts par type de document

Mots Clés

Calculating machine Distributed systems Dynamic binary instrumentation Tom Correct-by-construction Security Jost Bürgi Tilings Implicit computational complexity Simulation Formal specification Reachability Mathematical induction Deducibility constraints Interpretations Human systems integration Model checking Security protocols Kolmogorov complexity Formal methods Proof-based development Constraint ProVerif Adding machine Java Modelling Combination method Narrowing Schwilgué Privacy Termination Social networks Decidability Abstract model Collaboration Refinement Proof Theory Augmented human Computability Abstraction Invention Computable analysis Verification Algorithm Trace Hedge automata Polynomial time Automated verification Composition Formal language Innermost Entropy Finite state automaton Completeness Polymorphism Behavioral detection Language Key-driven Rewrite closure Layerwise computability Term rewriting Cryptographic protocols Probabilistic cellular automata Priority rewriting Event-driven approach Distributed algorithms Polynomial Time Formal verification Malware Graph rewriting Induction Mechanical verification Security policy Orchestration Réécriture Ordering constraint Separation of duty Satisfiability Dynamical systems Computable Analysis Rewriting Web services Quasi-interpretation Event-B Behavior abstraction Factorization Theorem proving Birkhoff's ergodic theorem SMT Complexity Formal Verification EMF Process calculi Cryptographic Protocols Probability E-voting Validation Protocol Algorithmic randomness Applied π-Calculus