Semigroups, Automata and Logic

Source URL: highlights-conference.org

Distributed Timed Automata with Independently Evolving Clocks⋆ S. Akshay1,3, Benedikt Bollig1 , Paul Gastin1 , Madhavan Mukund2, and K. Narayan Kumar2 1 LSV, ENS Cachan, CNRS, France

Source URL: www.cmi.ac.in

MCMT in the Land of Parameterized Timed Automata Alessandro Carioni Silvio Ghilardi DTI, Universit`a degli Studi di Milano (Italia) DSI, Universit`a degli Studi di Milano (Italia)

Source URL: users.mat.unimi.it

Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

Source URL: www.kestrel.edu

• Formal methods
• Logic in computer science
• Theoretical computer science
• Refinement
• Predicate transformer semantics
• Postcondition
• Program transformation
• Finite-state machine
• Invariant
• Formal verification
• Aspect-oriented software development
• Precondition

PDF Document

Source URL: highlights-conference.org

• Finite automata
• Bchi automaton

PDF Document

Source URL: www.math.stevens.edu

• Finite automata
• Formal languages
• Regular language
• Tree
• Theoretical computer science
• Mathematics
• Finite-state transducer
• Discrete mathematics
• Orbifold

PDF Document

Source URL: www.automata.rwth-aachen.de

PDF Document

Source URL: www.automata.rwth-aachen.de

PDF Document

Source URL: www.automata.rwth-aachen.de

PDF Document

Source URL: akira.ruc.dk

• Finite automata
• Tree automaton
• Tree
• Formal languages
• Model checking