- Perspectives on the CAP Theorem
2012/01/04 by Seth Gilbert, Nancy Lynch · 13 citations
Computer Science · #Automated theorem proving #Computer science #Context (archaeology) #Distributed systems and fault tolerance #Liveness #Software Reliability and Analysis Research #Software System Performance and Reliability #Theoretical computer science
- Efficient on-the-fly model-checking for regular alternation-free mu-calculus
2002/11/05 by Radu Mateescu, Mihaela Sighireanu · 1 citation
Computer Science · #Abstraction model checking #Algorithm #Computer science #Formal Methods in Verification #Liveness #Model checking #Programming language #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Temporal logic #Theoretical computer science
- Composing specifications
1993/01/01 by Martı́n Abadi, Leslie Lamport · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Security and Verification in Computing #Liveness #Computer science #Component (thermodynamics) #Modular design #Programming language #Isolation (microbiology) #Theoretical computer science
- Stubborn sets for reduced state space generation
1991/01/01 by Antti Valmari · 2 citations
Computer Science · Mathematics · #Advanced Software Engineering Methodologies #Algorithm #Computer science #Concurrency #Distributed computing #Formal Methods in Verification #Invariant (physics) #Liveness #Mathematics #Petri Nets in System Modeling #Petri net #Programming language #Reachability #Set (abstract data type) #State (computer science) #State space #Stochastic Petri net #Theoretical computer science #Transition system