Srivathsan, B
- A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
2023/05/28 by S. Akshay, Paul Gastin, Akshay, S +7 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
- Model-checking real-time systems: revisiting the alternating automaton route
2025/01/29 by Patricia Bouyer, B Srivathsan, Bouyer, Patricia +3 · 1 citation
Computer Science · #68N30 #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling