Concepedia
Theoretical Computer Science · 2003 · 94 citations · 27 references
Reachability AnalysisEngineeringReachability ProblemAutomated ReasoningSoftware TestingVerificationFormal MethodsSoftware AnalysisSystems EngineeringComputer ScienceTimed SystemFormal Verification
27
A theory of timed automata
Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.4K citations
Engineering, Formal Methods, Automaton Network +4
Communication and concurrency
Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations
Engineering, Concurrency Theory, Concurrency (Computer Science) +5
A lattice-theoretical fixpoint theorem and its applications
Alfred Tarski · Pacific Journal of Mathematics · 1955 · 2.7K citations · Full text
Mathematical Programming, Lattice (Order), Topological Combinatorics +3
Uppaal in a nutshell
Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.1K citations
Educational Entertainment, Mashup (Music), Communication
An Automata-Theoretic Approach to Automatic Program Verification
Moshe Y. Vardi, Pierre Wolper · Open Repository and Bibliography (University of Liège) · 1986 · 1.3K citations · Full text